Yes, the Kingston HyperX is at 480GB.....
Go with the Crucial M4 and you'll be happy with the way it performs.....Any part number will work for you....One is a bare drive and one is a bundled drive - if you go for a bundle kit - you'll get the sata transfer cable if you plan on cloning your drive - if you're going for a clean install, then just get the bare drive...
Keep in mind - Kingston Hyper X and the Intel 520 are the only SSD with 5K Nand and the rest are 3K Nand which is why the Kingston Hyper X and Intel 520 are very expensive.
5K Nand = 5000 Programs / Erase life
3K Nand = 3000 Programs / Erase life
Hope I didn't confuse both you can Clinton with the 3K and 5K Nand difference