Tuner choice

I know no one is interested in tuners given streaming etc and on and on, but I moved to a place with some excellent radio stations and I think having a tuner would work for me. I got one for free from my brother, a 70s vintage Dynaco kit and it seemed to warm up over time without any repairs etc. although the light is out and gauge doesn’t seem to work. Muting is not functioning but once on a station it brings in some pleasant sound.
On the other hand, I see old units on eBay that are low cost, some say tested, mint condition, etc. so would it be worth a couple hundred dollars to have a different tuner? Or is the Dynakit not a bad vintage tuner and if it’s working, I’d be smart to stick with it? Any suggestions for replacements worth the change?
 

thanks