The CKF sensor is at the crank pulley, on the oil pump. Since you just had your timing belt changed, maybe they had to unplug it & forgot to plug it back in...