L'idéal c'est quand même d'avoir la pièce en main et de la mesurer précisément avant de percer. Dans le doute, mieux vaut plus étroit que trop large.
Sinon, c'est le genre de "problématique" courante, celui qui te fait ta Jr devrait savoir quel diamètre de perçage utiliser en fonction du matériel que tu veux monter dessus.
D'ailleurs, t'es sur de monter des inserts Gibson ?
EDIT : j'ai recherché l'info précise et 1/2" est bien le diamètre de perçage nécessaire, l'insert faisant lui même 13mm.
Il ne faut pas compter sur ceux qui ont créé les problèmes pour les résoudre.
"La religion est une insulte à la dignité humaine. Que ce soit avec ou sans elle, il y aura toujours des gens bien qui font de bonnes choses, et des mauvais qui font de mauvaises choses. Mais pour que des gens bien agissent mal, il faut la religion." S.WEINBERG
https://www.droitaucorps.com/