Well I didn't think he'd actually do it. It wasn't repaired, he had to drive it like that. We did much worse ... wiring doors shut when people would sleep on the night shift. You know, the normal things people do when they're very very bored.
(The mine is still in operation, I believe.)