"båthall" er et 7-bokstavers substantiv som brukes som synonym for "dokkestove". dokkestove betyr: En stor hall eller rom for oppbevaring av båter.