Turned out Warden was not dead, nor had we planned to kill him; Prof figured that a live warden could always be made dead, whereas a dead one could not be made live if we needed him. So plan was to half kill him, make sure he and his guards could put up no fight, then break in fast while Mike restored oxygen.