I have a small leak in my oil cooler and, given the exorbitant price of a replacement, wonder if anyone has experience of having one repaired or...