Well Just recently the shop I took it to did the water pump, timing belt, valve cover gaskets, and ac charge. How much should all that cost?