I had a fan fail today,    anyone have some part numbers or links to one I can buy for cheap from a supply store

I found an eBay,  SUNON KD0502PFB3-8 5V 0.3W 25x25x10mm 25mm 2510 Mini DC Cooling Fan   for  $4

just making sure there's not a better option out there

and confirming it's a 25mmx25mm by 10mm height