So does anyone have the 2005 Aveo service manual? My car's at the shop due to a broken idler pulley, no compression, and most likely bent valves. Got a quote of approx $2000 to fix it.