I misread what you said I thought you were talking about the A9 they used on the heatsinks.
Yea, they do use a NF-F12 under the PSU in those tests, but a fan in that placement provides little to negligible gains. It doesnt really matter what fan you put in the mount under the PSU imo.
EDIT...