Just to update incase anyone else plans on doing something similar:
The 4-pin PWM 12VDC fan can be controlled using the PWM output of a microcontroller, which varies the PWM signal voltage from 0-5V by setting the duty cycle.
Here's the circuit I used:
However, the PWM frequency should be...