What modern replacement tuning machines for a '79/'80 FG251B

Got it. Thank you so much for the info/advice. Those Wilkensons are MUCH cheaper as well. I wonder how the quality is compared to the Waverlys.

I hear you, but even though the guitar isn't a $4000 Martin, it's made of fantastic high end Japanese wood and I use it professionally for recording sessions. The whole reason I'm looking to replace the stock tuners is for better and quicker tuning. Constant tuning during sessions. I read some reviews about the cheaper ones having issues.

Thanks for your help here - especially given your experience with the specificity of dimensions etc..

Do you think the Grovers that are 6.32mm in the shaft be too big?

And update for this thread.  I found these tuners on Amazon.  www.amazon.com/Guyker-Guitar-Machine-Heads-Handed/dp/B08F2FWBHY/?th=1  They look identical.  I need to measure some original tuners and compare the dimensions.