Make/model of the fan on the unleashed board

Yes noctua is great brand. No problem for me to make small RPM controller with a ATtiny (probably should be possible to use HiFive1 as well). I would give it try, except the dust filter.