Either it's off a tooth or the crank sensor is futzed.
It's a 7.3-can't kill them things..Definitely has to be something minor if it ran before he did the head gaskets.