For the anxious.... A 7.3 directory has appeared at ftp://ftp.redhat.com/pub/redhat/linux/ ... but nothing in it yet. So you can settle up on those 7.3 vs 8.0 wagers.