bolt in my pump. the person who owned it before me didn't use stainless bolts so when i was taking the old studs out to replace them with new ones there was one on the bottom of the bowl that broke off. great, so i tried using an e-z out, that didn't work. i'm guessing my next option is to drill and tap the hole and try to refurbish what got messed up. any other options?