"dokkestasjon" er et 12-bokstavers substantiv som brukes som synonym for "flytedokk". flytedokk betyr: En stasjon med dokkefasiliteter for reparasjon.