Oh, ok, someone further up the thread said he was out
They jumped the gun. NOW he’s out!
LAST MINER OUT OF THE HOLE!