Deze molen wordt vanouds 'de Hooidonkse (water)molen' genoemd.