the 7200 rpm drive wont increase the FPS if thats waht you want.
but the OS will load faster and the game levels would load faster too.
there is some difference between the two. the 7200rpm will definitely be faster.
get the 7200 one if the price difference isnt too great. the difference will be noticable.