So the mechanic took the compression test. It scored 145/225/225/225 psi. It's not great, but it shouldn't miss that bad. He said the plugs were the problem, so I let him change the plugs, but that didn't work either. Mysteriously the clutch now slips big time, when it didn't slip at all before. He admits to nothing, avoids any liability.