Thank you for your speedy reply.
In my BIOS, I have "CPU Fan Speed Control" set to "Full Speed".
"CPU Fan Control Mode" can be "Auto", "Voltage", or "PWM". The link said to use voltage, and you've said to try PWM. Neither made the pump rotate.
I bought the H80i from microcenter so I'll return it there tomorrow.