Ich habe gerade noch mal nachgeschaut. Ich habe damals eine M8 Schraube mit 13 mm Kopf verwendet. Die hat gerade so gepasst. Damals war sie nicht ganz dicht, was sicher daran liegt, dass ich weder einen passenden Bohrer hatte noch einen vernünftigen Gewindeschneider (3fach Satz) hatte. Ich habe den Griff immer noch nicht wieder verwendet, daher weiß ich nicht, ob er mit Teflonband nun dicht wäre.
An Deiner Stelle würde ich es noch einmal mit Teflonband versuchen, bevor ich noch mehr Material abnehme. Egal, ob Du nun auf M8 gehst oder einen Gewindeeinsatz verwendest. Du hast keine Garantie, dass es dann dicht ist und hast ggfs. noch Material entfernt.
Die Original Schraube hat übrigens einen Kopf mit ca. 9,6 mm.