"båtverksted" er et 11-bokstavers substantiv som brukes som synonym for "dokkestue". dokkestue betyr: Verksted for reparasjon og vedlikehold av båter