I think I’d be replacing the crank sensor anyway. Broken belt could have wrapped it good and they weren’t that good to begin with. I took mine in to a shop too to look at the crank sensor. Said no problem but 30 miles later it came apart. So I just might question the mechanic. But like said should be easy to find the problem.