I know that Gibson did use Grover tuners on some of the guitars but this is the first time to my recollection, I have seen Grover mandolin tuners. I am sure others will have seen them but if you have not, then they are on this mandolin.

https://www.ebay.com/itm/1937-Gibson...emCondition=10