"dykkebruker" er et 11-bokstavers substantiv som brukes som synonym for "røkdykkeren". røkdykkeren betyr: En person som bruker dykkeutstyr.