Well I went to my local garage and they told me that the head gasket needs to be replaced in my 2005 Aveo hatchback with 130 k miles on the engine. The told me the oil was milky with antifreeze! The car runs great still! Should I spend the money to get the gasket replaced with that many miles on the engine? How long would it take to replace and what would the average cost be? Do you need any special tools to replace the head gasket? Any information would be helpful. I actually own this vehicle and would love to be able to run it longer. Has anyone tried those liquid head gasket sealing treatments that you can get at the auto parts store?