1998 Honda Civic New Distributor for 98 Civic?

Hi, my daughters car recently stalled at a light, and then wouldn't start up again. (It turned over, but wouldn't start.) We had it towed to a shop, where they replaced the ignition control module & the ignition coil. ($515.00, including $95.00 for diagnosis.)

When we got it out of the shop, the check engine light was on, so we were told to put it through a drive cycle, then call back in a few days if it was still on.

As soon as it came out of the shop, it was still running rough, and threatening to quit whenever she stopped.

We took it back in (21 miles later), and now they say we have to do the whole distributor, which is going to cost another $500+. They told me at the time of the first repair, that the distributor may still go out, but that it wasn't yet bad. So I could do the less expensive repair for the moment, and take my chances on the distributor.

So my question is, did the distributor go bad in the last 21 miles, or I am correct in thinking it was probably bad before, and they misdiagnosed it?

Thanks in advance for your help.