Maintenance workers off duty