If this is the main system drive, there will be a small performance increase in going for 10K. Unless you have a real need for all those acres of space, get the quicker drive. You'll probably find it hard to fully utilise 400Gb anyway, so it just sits there with loads of old files doing very little, why not have a performance boost instead?