I currently run Windows 7 32-bit with boot camp on a 15 inch macbook pro, but I realized that it didn't fully utilize the hardware, so I decided I wanted to switch to 64-bit. I understand that retail versions come with two disks that allow for one to choose between 64-bit and 32-bit, but I...