I’m not sure that it isn’t a valve cover gasket. I have the same “Indy” shop do all the work on it since I bought in 2014.
I’m taking their word for it. He says it’s common, to leak there around 200k.
I don’t mind spending the money, but was afraid if I make that repair, then it snowballs...