price of machine shop cincinnati boring mill