What happened to coolant in the haas Mini Mill