I would just look up CPU fans and just get a really nice CPU fan for $20-$50 bucks or so.
My old fan was like 10 years old. Ridiculously huge fan. Now it sits on my router
Keeps that thing nice and cool
Just rocking the stock fan now without a problem.