Grover the elevator operator