Propellers are pretty noisy, even when they're not singing (a common flaw - look it up). As divers, we appreciate the warning, but also known how far this noise carries even to our human ears, which are poorly attuned to the environment.