Do you know if there was a portable defibrillator at the dive shop?
Yes. The AED at the DFB Hamlet shop is prominently mounted on the wall in the breezeway area, near the tables and the benches for divers. DFB also has AEDs at their Port Bonaire, Dive Inn, and Yellow Sub shops. I'm not sure if the new Sand Dollar shop has one. DFB Sand Dollar isn't really a waterfront operation, but the main reason I don't know is because I haven't been there yet. All DFB dive shops also have oxygen and first aid kits.
As a general rule all divers should make an effort to inquire about safety equipment and protocol during dive shop orientation. If you dive at multiple locations (DFB has 5 now) you should request an orientation for each shop you dive from. This story is a classic example why. I'm always amazed at the number of posts in this forum where divers are proud of how fast they breezed through orientation and got into the water.
Glad to see everyone came out okay. FWIW DFB staff also engages in periodic staff drills for this kind of thing. Just one more reason I appreciate and patronize Dive Friends Bonaire.