Industrial personnel.

Industrial personnel are all persons, exclusive of the required crew as set forth in the Certificate of Inspection, carried on board a mobile offshore drilling unit for the sole purpose of carrying out the industrial business or functions of the unit.