1823 22 Nov. 199/2 Immense quantities of agates of different kinds..are cleaned, cut, and polished at various shops adapted to this purpose..called Agate Mills.
1875 R. Hunt & F. W. Rudler (ed. 7) I. 35 It is in the Idar valley, that most of the agate-mills are situated.
1915 30 106/1 Agate has been worked from prehistoric times. Germany has great agate mills.