They were a top team - five miners who together had mined a million tons of coal but now they must face up to redundancy.