sgolds,
I don't buy this theory. In fact, AMD may have insisted on keeping the AMD64 name to themselves. It does make a nice marketing pull for the unwashed - AMD64 sounds like a true 64-bit processor, IA32E does not.
I don't have a beta, but doesn't Windows install from an AMD64 directory, and the name is used throughout Windows documentation?
Joe