[jhautz]

I dont think you wil have much luck with a drill or a file on Miles extra hard pinions. The pinions are so hard you will probably not be able to cut them with normal tool steel. I would look at trying a dremel with a small stone wheel and very carfully grind down any high spots in the hole.