Looking for a vintage tuner these days

https://www.vintageaudioexchange.com/

Edit: Never mind, most of their current tuners are low end.

There are a number of McIntosh tuners on eBay for under $700.

Listing at your price
https://www.audiogon.com/listings/lis9egg4-mcintosh-mr-71-tuners

Attach a real antenna, and hear what the fuss is all about.

Looks a little rough, but that's just the chrome finish. which just about all will have (pitting,rust) to some degree. A good cleaning to prevent further damage is easy.

Assuming the seller plays by the honor system, it should be trouble free(relatively speaking). 
Mine is a daily driver, and often stays on for extended periods. 

I found a clean one  for $700 a few years back. Cosmetic condition however, for a CLEAN(rust free)with case now commands $1K+ in listings I've seen.

thank you all for your responses!  I just bought a restored Sansui TU717 
and waiting for it to arrive.

I bought a McIntosh MR-77 in 9+ condition from an EBay seller for about $600+ ! A real fine tuner - wish there were more quality FM stations in my area (Tampa/St.Pete). Just two: 89.7 WUSF and 103.9 WSMR. The rest, just commercial pop/rock/rap dreck.

Sansui made outstanding tuners. Great choice!