What type of oil are you using now? I would switch to a high mileage oil. I wouldn't even bother spending 2K on a repair unless it leaked so much oil that you'd be adding a quart a week. Maybe you can try Mobil 1 High mileage.
Regards, JC.
Regards, JC.