"dykkeleverandør" er et 15-bokstavers substantiv som brukes som synonym for "minedykker". minedykker betyr: En person eller firma som leverer dykkertjenester.