I thought you were right until I just checked Ebuyer's prices against Dabs and Ebuyer is far cheaper (their P&P is cheaper too) for the 1501LCe:
£830.95 incl VAT +£4.99 excl VAT
£868.32 incl VAT + £8.00 excl VAT
In fact I'm amused now because I just found the 1502
LMi for £839.42 incl VAT on Ebuyer
Am I seeing things or is this for real? Isn't there a law whereby if that's the price advertised that's the price you pay because that can't be right??
Anyway regarding the formatting, when the 64-bit version of Windows XP is released I think your best bet would be to leave it for a short while to see what press attention it gets but assuming it's all good I hear it'll bring great performance boasts (making the most of that AMD processor) and you'd probably be wisest to upgrade. I'm sure any enhancements regarding power saving can be achieved with the 64-bit Windows too
I'm not an expert on it though, can anyone else provide further enlightenment?