Merry Christmas To Me

So my car wouldn't start last night. I was able to get it jumped today to bring to the dealership. There was a lot of corrosion on the terminals, so I am having to buy a new battery. There was also something wrong with the Idler Pulley on the engine. Not sure what that is but they said if I don't replace it it'll lock up the engine. Boo! Merry Christmas to me! Sitting at the dealership right now. :(