Uh, just found the TEC website:

http://tec.idcomm.com:8888/tec_us/index.html

(as if you didn't know).

If I had $5K to spend I'd consider the APO 140. Looks like
the 200mm APO is ~$16K - less than the price of a new car
and money well spent.

-Eric