"Best guess right now is about 40 miners went down with it."