[mikedouglas]

From the link: "In the late 1990s I paid $11,000US each for several round trips."

That's about $16k when accounting for inflation, so $20k isn't too far off.

[aninhumer]

Without qualification, I'd assume they were quoting historical prices. It would be pretty confusing to present any kind of adjusted figures without clarifying them.