Eventually Thomas got tired of it and dug himself out.