Has anyone tried using a Zalman VF1000 with the 3870? Im worried it might not have enough clearance to keep the stock pwm heatsink in place.