De molen werd vroeger ook wel aangeduid als „Heer Pijl"; inmiddels is alleen de aanduiding 'Nr. 7' nog in gebruik.