Just got done changing the water pump in my '93 Explorer Sport.  One of the
bolt heads (of the 12) broke off, leaving the rest of the bolt sticking out
of the engine block.  The one that broke is located in the center of the
bottom side.  We used a good bit of sealant on both pieces before putting it
together with the gasket, of course.  Haven't had a chance to check for how
much it is leaking, since it's dark out.  Was wondering if anyone else has
had this problem, and what my chances are that it won't be a major leak.
Only reason I think it may not be bad is because there are 12 bolts holding
the pump together, instead of the 4-6 for GM vehicles, for example.

Also, any other options if it is a bad leak, other than taking it somewhere
and getting the remainder of the bolt drilled out and possibly retapped if
necessary?  My father in law suggested stop leak, which I am hesitant to
use.  I don't plan on keeping the vehicle for more than roughly another
year.  Any input is greatly appreciated.

Jarrod