Where to plug a extra fan in to the TX1?

You can find in schematic, there are many pins for it, such as pin 2/4 of J21, VDD_5V0_IO_SYS, same rail as original fan on TX1. Pay attention the power consumption of your fan should not be too much.