Cerebral gas embolism is potentially fatal.