My bad, forgot to specify that I want the pins to be powered during printing only, so that I don't get yet-another-fan-whim constantly. For constant 12V source I went straight for the PSU connector and split there.
Then I would use one of the bottom right extension header pins to drive a transistor and configure the firmware (and gcode) accordingly. sanguinololu-fan-hack
I thought about the firmware addon route, adding an extra thermistor inside the case and running the fan for a specific temperature readout. Has this been done yet?