Employee was operating a roof bolter when a rock fell pinching his finger between the machine and a rock. Employee immediately came out and went to Washington Hospital, sustaining a fracture and laceration. Employee will be off work for an uncertain period of time.