Does the gateway 2000 that runs our schedules get maintained by a [now unpaid] government worker that isn't at work?