"dokk" er et 4-bokstavers substantiv som brukes som synonym for "gummibåters". gummibåters betyr: Anlegg for å legge til og vedlikeholde båter.