In reply to Bob_the_Builder:
> Cheers. I probably should have searched before I started a new topic. My coworkers are suggesting using Paypal. Has anybody tried that?
If you want to pay probably a considerable fraction of it in withdrawal fees, then yes?
You could try the 'travel money maximiser'?
http://travelmoney.moneysavingexpert.com/
You could probably get something slightly better from a suitable exchange service, but it might not be worth the hassle.
When I had to change a similar amount of money (not my money, sadly!) for someone moving to another country, weirdly the cheapest way to do it was to stop at Heathrow airport on the way out (driving), go to the little exchange place in the Underground station, and change it there. The rates were truly awful, unless you had a printed-off voucher from the Internet - at which point the rates became those of their parent specialist currency broker, with a few other London branches.