Yep, works out to about 20k US... I saw some "cheaper" in the US but with shipping (3k minimum from Cal), insurance, tax, duty, fees, etc it was a push. A bit more, but being able to see it in person was worth a grand...
And it was for sale for ages, I had seen it months ago and was not in buy...