The 10k will be a bit faster for loading, and it will feel a bit snappier overall. However, it won't do a thing for framerates in game, so if all you care about is in game performance, it isn't worth it.
A big 7200 HDD will outperform a small 10000 HDD because of the higher data density.
So just get a cheap 1TB or 1.5 TB drive instead of an expensive 150GB drive which is probably slower anyway.