Mining machine tools, namely, pick boxes for mineral cutting machines, mineral cutting picks for cutting machines, mineral cutter tools in the nature of milling cutters, all for use with a hydraulic extraction facility and all for mineral winning and road planing