Title: Boring mills in railroad shops