Internal VIP disk sizes?

Does anyone know the sizes of the internal disks in the VIP receivers. Specifically the VIP722K and the VIP612.
If you were planning to do so, take note that you can NOT replace them with just any drive, in an attempt to install a larger one. IF the drive you try isn't listed in the Bios, it simply won't recognize it.