I don't know for the US but the last Totan I've seen for sale were from Italia at around 11000 dollars and were completly ruined. (the playfield was good for trash). So 16k might be top high end but we do see more and more IJ close from 18k or 20k (same generation).
In europe, from what I've seen, Totan has been more expensive than IJ (for instance) for a really long time till recently and there are much less Totan than IJ, maybe people and price fluctuate and depend also on availability.
We also see less and less TOTAN for sale from my point of view.