[DenverSteve]

I wouldn't worry about it. I (as above) would buy it at a price that reflected the need to fix it. I don't drive anything that leaks any amount of anything so it would be a first thing to do for me.