[Randosaurus]

This isn't what would have happened.

The trained medical personnel would have been far more likely to identify that emergency services was needed.

Those personnel are on site for a reason and it isn't because they're expected to be able to deal personally with every single medical emergency that happens.

This type of comment happens far too often on HN.