Hi,
I believe < GBP 5.0k is a good price - the price in Germany is going to be EUR 6.299,00 (> GBP 5.3k).
Do you expect to receive your 1DX right away from the start (end of April)? I was wondering about the monthly production output for the 1DX? Nikon is capable of producing 30k D800 and 5 or 6k D4 a month.
Cheers,
-tdm