Hey, I have a Walbro 255 and in my laziness to not remove a few nuts and screws for easier access I broke off one of the terminal studs. My question is if there is any way to replace that stud or do I have buy a new pump? This is a brand new pump so it sucks if I have to buy a new one for my stupidity.