Gracias por vuestras respuestas.
Creo que me quedaré con la opción de acudir a alguna tienda, tarjeta en mano, y que me cambien el ventilador. Si son unos diez dólares (menos de diez euros, si no me equivoco), creo que me lo puedo permitir, y siempre me saldrá mejor que andar engrasando la pieza cada dos por tres con un
hisopo (supongo que eso es un bastoncillo de algodón, de los que se usan para limpiarse los oídos); no quiero arriesgarme a manchar todo el PC.
Por cierto, no estoy seguro de tenerla en garantía (no recuerdo si la garantía era de uno o dos años, y compré el ordenata hace algo más de un año), pero en todo caso no creo que me merezca reclamar a la tienda en la que lo compré, ya que compré por correo a un almacén que está a unos 500 Km. de aquí, y prefiero gastarme diez eurillos antes que andar a vueltas enviando y recibiendo paquetes.
Pues eso, muchas gracias por vuestros consejos. A ver si para el martes tengo tiempo de pasarme por la tienda...
