My mechanic says that coil in distributor went bad but says I need to replace whole distributor. I don't believe this is true. Can you tell me how to replace the coil? It is a 2000 Honda civic dx hatchback 5 speed manual. Thank you:)

It's a simple job, as you will see:

https://www.askmehelpdesk.com/cars-trucks/faq-how-troubleshoot-repair-maintain-hondas-selected-other-vehicles-46563-4.html#post265896