The pulley retaining bolts are 6mm x 12mm. So if you can get one out you can run over to a local Ace Hardware and pick up another one for about 25 cents. What is actually stripped? The bolt head (as in rounded off)? Or is the hole in the waterpump shaft head stripped? If it's the waterpump it doesn't matter because you were going to install a new one right? If it's the bolt head you can go to your local Sears and look in the tool department for damaged bolt remover low profile sockets Craftsman Low Profile Damaged Bolt Remover Kit $30
. They are black, and available in stubby height so they will fit into tight areas. While you're at Sears you might want to just buy a 32mm open end wrench to use on the fan clutch nut, in case all this other stuff doesn't work out. Then there's the ViseGrip technique, but I know that area is pretty tight and I don't think you'll have much luck with ViseGrips.
Were you using 6pt wrenches? Because 12pt wrenches will round the crap out of anything you work on. Maybe buy a new set of 6pt wrenches and sockets while you're there too. Last but not least is resorting to the old Chevy technique of hammer and chisel to cut the head off the damaged bolt. Good luck, its just a long tedious process.
Craftsman Low Profile Damaged Bolt Remover Kit...... Sears