You're lucky you don't live in Australia, the 40.2 currently lists for over $23K and $2.5K extra for the anniversary model.
A bit of sticker shock when I payed less than $4K for my 30.1's 6yrs ago.
The big ATC's are even more expensive, so I'll probably be sticking with my smaller monitors + sub arrangement.