...digital fine tuning?
When I first started selling audio gear as my first job, we carried a Yamaha receiver along the lines of the R-1000.
Maybe not the R-1000 itself but we also had a model that had a digital fine tuning for the FM tuner. It would display something like 92.5325