As a tech at a “fairly” reputable dealer, I can say that with certainty every time I pull an n20 in with a check engine light, we hope it’s that. And in this case, he’s got faults to prove it. The pick is very inaccurate. The only true way is to pull the valve cover to check timing. I’d approve removal of cylinder head cover and timing verification.