For those who may be frustrated by the problems with F13's alpha-RC3 x86_64 inatallation media, I report success when I used the desktop-x86_64-20100224.18.iso Live system to install to disk.