I don't see how what happened would impact the local dive industry as far as customer diving trips are involved.
This accident happened during a dive between friends, no client involved.
The fact that the now deceased owner of the shop, her boyfriend and her divemaster did incredibly deep dives...