What started out as a simple water pump install has now become more complicated. In short, a water pump bolt snapped and I have to take off the front cover to get it out. I am in the process of removing the crank pulley and have the bolt off. I went out and bought a bolt puller set but it doesn't have the right size bolt in it to connect to the crank pulley. Does anyone know what size these bolts should be?