Had this CEL pop up for me after the shop did my timing belts. He also added a lightweight crank pulley (neuspeed). Could it in any way be related to that, or is it more likely he just misaligned the belt? The sensor was plugged in, so unfortunately not as simple as him forgetting to do that. Any input would be much appreciated. Car seemed to run fine.