P0016 after timing belt change

Hello, I would be concerned that there could be something out of phase when the belt was changed. No one could possibly see after the fact what was done, but you may need to disassemble and check to ensure all compoents are exactly in time. Seems suspect that everything was fine (right?) prior to the repairs...and now, we have this specific code. https://repairpal.com/auto-repair-near-me