I used USD (well, same as a loonie nowdays anyways).
If he buys on eBay, or generally online, there shouldn't be much difference (so around 400 pounds is very much doable for a mint 1.5 year old XPS, which will perform better than most of current desktops).
I'd stay away from anything...