I drive a 5-speed 1994 Mazda Protege that has, frankly, seen better days. I now have a major oil leak which is dangerous and need to have the car repaired. My mechanic is pretty trustworthy, and has quoted me $1,000 to replace the valve cover gasket, the oil pan gasket, and the front engine seal (plus regular 140,000-mile maintenance) for the car. Does this sound too high? Is it worth it to do this repair on a car this old? The engine is still running well and generally, the car drives okay.