a platform or vessel with sleeping accommodation and leisure facilities for the workers on an oil rig [blend of floating and hotel]