ok, I think I found it here, sharing for anyone else who may be looking for one.

https://www.amazon.com/gp/product/B00MXL2HLY/ref=s9_acsd_hps_bw_c_x_1_w

I thought this was a 25mmx25mmx10mm fan? GDSTIME?

I have a noisy one, and it recently got REALLY LOUD.

Does anyone know where to get a replacement fan?