A fully trained miner was adding oil to the miner when a rock fell from between the straps striking him in the neck shoulder and arm The area was properly bolted and he was wearing required PPE but he should have made a work place exam of the area before starting work.