Dictionary.com
Thesaurus.com

stretch mill

American  

noun

Metalworking.
  1. a mill for rolling and stretching seamless tubes, the rolls of each successive stand operating more quickly than those of the preceding.