an oil leak, which I did, and I've noticed a very significant change
in one respect. Whereas, before the repair I would get 300 miles to a
tank, I am now getting a tiny bit over 200 per tank. I remember that
there was a jump up at one point, but who was I to complain about
that?

mileage? I wasn't running too lean or anything that would have
damaged internals, was I? It would have been for a few months to 6
months max.
Jim