Do they allow smoking by scuba divers or skin divers under water?
They probably do. But give it time.