Marine Workshop

A craft or repair workshop in a boat yard, harbour or naval dockyard.