I did the tensioner, both pulleys and belt service and now my battery is dead. I'm trying to charge it with a low cost 2amp battery maintenance charger (it takes forever and it's quite cold here) so hopefully I don't need a new one. I will report back soon when I can drive it.