The mechanic was obviously using too heavy an oil. The startup noise was due to a comparably inadaquate initial oil flow and the viscous drag of 20w-50 oil, cut his MPGs by at least 2 MPG. The story is not over though, I expect that when all the gunk is cleaned out and the rings seal better, his performance will improve. This remains to be seen.