Fntsmk

Brand new to this forum. Interested in buying a vintage Gibson BB King "Lucille" model. I've noted that some of the models produced in the 1980s have Grover tuning machines, while those made in the 1990s have Gibson branded tuners. Does anyone know when the change in tuning machines was made and why? And is one preferable to the other? - Fntsmk