"dokk" er et 4-bokstavers substantiv som brukes som synonym for "dokkestue". dokkestue betyr: Bygning eller område hvor båter blir reparert eller oppbevart