pr800 mining machine