Estos chismes, lo siento mucho pero ya no tienen mercado, si que los hay, caros como los dune etc. pero de precio similar, me temo que tendras que buscar por aliexpress algo de MELE con un RTD1186 que ya es un chip con algunos años.
Mi consejo es que cambies el ventilador al icube, con desmontarlo y llevarlo a una tienda de electrónica, seguro que te encuentran un sustituto. El desmontaje no es complicado.
El disco duro igual, cambiarlo no es complicado y seguro que el chisme te aguanta otro par de años.
Yo actualmente aunque sigo usando el 5000, he cambiado a un miniPC con un Intel z8350 de 4 núcleos, 4GB de RAM, 64GB de almacenamiento y win10, en el que tras instalar KODI, y usando el 3000 como HDD externo,hace lo mismo que el 5000, y si quiero grabar de la TDT con un sintonizador por USB, arreglado. Me costo 140€.