[1146]Der Rohrfeiler, des -s, plur. ut nom. sing. in den Gewehrfabriken, ein Arbeiter, welcher die Feuer- oder Gewehrrohre mit der Schlichtfeile polieret, die Schwanzschraube verfertiget und die Haften nebst dem Richtkorne aufsetzet.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 3. Leipzig 1798, S. 1146.