Well, you need to try and get that remaining bolt out some way. You shouldn't have to pull the engine, but you will need an angle drill fitting (can't remember what they're called, but I have one) to get in there, drill a hole and try a wizzy-out.
Try hosing the bolt area with PB Blaster (gobs of it!), let it sit, and apply the wizzy-out (called an easy-out for most

) after a while. You'll want to drill as deep as you can to fit the thicker part of the wizzy-out inside the bolt so you minimize the break-off factor, which is easy to do with wizzies. For the wizzy-out, you should make sure that you have the right tool for the job; Vice-Grips aren't real good for this, so you'll need to find that little square-wrench thing. Talk to the auto store people, they'll know what it is.
If the bolt breaks loose, replace it with a non-torx head bolt like I have done to all of mine. Just be sure that the head of the bolt will clear the pump pulley and all.
If the wizzy-out doesn't work out for you, then a heli-coil might be the next best bet. That said, you
don't want to leave that area without some kind of fastener!
Good luck
