"båtreparatør" er et 12-bokstavers substantiv som brukes som synonym for "dokkestue". dokkestue betyr: Person eller sted som utfører båtreparasjoner