Egads. Mark the old belt and sprockets with liquid paper, then remove the old belt (after loosening the idler pulley bolt). Get the old belt off then remove the tensioner. Screw the tie-down bolt in *farther* to give yourself some room. Use a hacksaw (or Dremel?) to cut the bent part off, but make sure you are cutting where the threads are good. Then, back the tie-down bolt out using a pair of pliers. With a new tensioner piston you won't need the battery tie-down bolt as there will be a pin (that you have to remove after the belt is in place) that prevents the tensioner from pushing onto the belt.
Thanks WG! I started this morning with a dremel and finally got that darn battery clamp bolt. Everything else was straight forward (I wouldn't recommend noobies doing this job, I had some help). With the exception of a dumb mistake on my part (forgot to plug sparkplug wire back into one socket) Car was stuttering real bad, CEL flashing. TCS light on. Code RED! Code RED!!! I stayed calm reopen the dummy hood and saw that the plug was only partially in. Reinserted the plug. Unplug Battery for 10 seconds. Restart car and light is off. Drove it around the block and it didnt come back on.
I think I did it! Thanks to OdyClub and a couple of friends!
Side notes on the job, please be sure to have the the necessary special tools or it will be a pain in the A** to complete. BTW I found the 50MM pulley holder socket at Kragen under the "loan-a-tool" (aka O'reilly). Saved me $28.
I was able to break the pulley bolt with the crank start trick but if I didnt have the 50mm socket, I dont think I wouldn't be able to tighten it back.