operations manual for warco mini mill and lathe