EE was installing rock bolts in rib and debris got into his eye. He worked through his entire shift. When waking up the next morning, he immediately noticed that the debris did not wash out, went to his eye doctor and had it removed, and reported the incident at the corporate office.