I got my TZ in 2006 from an operator who wanted to be done with pinball. $800.
I got my TAF in 2010 from another operator who wanted to be done with pinball. $900.
In 2007, operator #2 was selling a batch of games. $700 for an F14 or $900 for a WH2O. Guess which one I bought... (hint: wished I'd made a different choice)