Hi. My brother recently purchased a Glock 19. Along with the Glock, he purchased an instructional video on maintenance. In the video, it specifically states do not get gun oil in the firing pin channel, so of course he managed to do so. The problem is, in the video they don't mention what to do if you do get gun oil there, so he's got a bit of a problem. He's wondering if he can just fire it and there will be no real problems or if he needs to do something specifically about this or what. Any suggestions or advice? Thanks in advance.