Last friday my 87 TC 5 speed shut off and wouldn't start. Had it towed to the shop and found out that the distributor shaft was broken at the gear. They replaced the distributor and module and car ran good. Turesday car shut off and wouldn't start. Pulled the distributor cap Turned the engine over and the roter didn't turn. Now the shop thinks it's the oil pump that's braking the shaft but the oil pressure is fine, wouldn't that affect the oil pressure? I'm thinking it's the auxiliary shaft. What does all of you think?