они вообще не смываются водой, если толлько не нырять без маски, что весьма проблематично в соленой воде Красного моря, а т.к. дайвингом занимаются исключительно в маске, с ними вообще ничего не произойдет, даже если под маску попадет небольшое количество воды, то в любом случае они останутся внутри маски, но таких прециндентов никто не помнит.
ТАК ЧТО ПЛАВАЙТЕ В ЛИНЗАХ БЕЗ ВСЯКОГО СТРАХА!!!