I have a Sony Vaio PCG-F403 which came with a 6Gb hard disk. I was thinking of replacing it with a larger one (maybe 40Gb), but I am unsure how big a hard drive the bios will support. I am using bios version WME01K1 / RK116K1. Does anyone know how big I can go?