Going down the road the 2003 F250 Super Duty just shut off then would turn over but not start. The next morning it started after it was primed several times. It ran rough no power and shut off. I was told it was the high pressure oil pump? What ya think? If so where can I find such a pump at a reasionable price. Thanks