電源のみの排熱を考えると、あまり低速なのより2000rpm以上は欲しいところかな、ファンは。
いっそ丸ごと交換するのならば、ブラケット改造が必要になると思うけど、面倒だったらJ10やJ11のブラケットだけ拝借すれば、そのまま入るはず(オクでジャンクだったら500円くらいからあるかな？)。