Using today's exchange rates, I believe mine was about $3.8k. Used Mk XV's can be had for a good deal less, IIRC. For comparrison, a new Mk XVI is about $4.4k here.
$3.8K? Wow, I'm pretty certain the Mark XV sold for less than that new in the US. Used, they (non-Spitfire dial, nicer imo) are around $4K now in shops, and $2,600-$3,000 used with papers, etc. on forums/eBay.
Here, the Mark XVI is around $3K new.
The Mark XV is a far more beautiful watch imo. I should never have sold mine.