An extra 200MHz / 300MHz is pretty decent for an extra £50. You will not be able to notice the difference in everyday tasks, but it could be a difference for very CPU intensive tasks.
Personally, I would pay for the extra performance because I sometimes encode full length movies with very high quality settings with my desktop / laptop so paying a little more to shave a little bit of time off the encoding process would be worth it for me.