Any fan will work, AC or DC. AC fans can be used easily with a switched outlet on a receiver or power conditioner and DC can be used with a wall wart, a relay and a 12V triggered jack on a receiver. If the fan makes too much noise, a voltage divider can be used to decrease the speed so it's more quiet. Brushless-slotless are needed, in order to not cause noise problems.