Unless its causing an oil pressure problem or making a mess on the hardwood floors in your garage I'd say it will take a while to leak through $4000 worth of oil. For that kind of $ you can get a remanufactured engine, so I'd also be looking for a new mechanic.