Hola Cubster.
Lo de instalar un ventilador que regule automáticamente la velocidad, se puede hacer con algunos frontales que venden en las tiendas de informática. Sobre todo en las que venden artículos de modding. Incorporan sondas de temperatura.
Por otro lado necesita un espacio bastante grande.
Además un receptor no se comporta como un PC, en el que la carga del procesador varia de poco uso al 100% en un instante. En cambio el receptor tiene un calentamiento mas o menos continuo.
Yo creo que lo que mejor se adaptaria es un ventilador con un pequeño potenciómetro para poder ajustar sus revoluciones hasta obtener un equilibrio entre caudal de aire y ruido.
Luego saco uno que tengo instalado en el PC para extraer aire de la caja precisamente de esta forma, y le hago una foto para que lo veas.

Lastima que no tenga el receptor una salida auxiliar de 230v. Podrías enchufar un pequeño transformador de 12v para alimentar el ventilador.

Saludos