Using the 3 power pins between aux and hdmi ports as 5v output to power a 5v 3010 fan on the le potato

Per the schematics, VCC5V is powered by AO_5V via a WPM2015. It should be able to supply around 2.2A of current but that is also shared with USB. If you are directly powering the board via the 5V header, it can supply around 3-4A.