"båthall" er et 7-bokstavers substantiv som brukes som synonym for "dokkestue". dokkestue betyr: Innendørs plass for oppbevaring eller reparasjon av båter