Separate names with a comma.
According to mechanic there is a blown head gasket (oil leaking to outside) which will cost around 4000-5000 to repair. I read that leaking oil is...