and had a nice long conversation with Enrique. He is of the opinion that one should do everything while "it's open", and there's a lot of sense to that, albeit expensive. He will get some pricing info together and call me. Thanks for the number, Alon.
I also perusing another avenue: this one, if it works, it the cheapest!!!! Added some
No Leak from Gold Eagle (
http://www.goldeagle.com/no-leak/drkbrown.htm) to the oil (in line with Steve's suggestion: need to stop the leak from inside out!). Will need to drive it awhile, about 500 miles. So we will see.