No, as it's not shared with OS X.
The download will work.
Which version of Win7 are you running (32 or 64bit is what I need to know)?
You'll find the drivers in the driver or driver64 folder, and use accordingly.
There's another possibility, and that's download the FLOPPY version from Intel. It's also a .zip file, and contains the bare minimum to get AHCI working.
Either way will work.
AHCI controlls how the ports operate, and it includes RAID, but has functionality for individual disks that improve performance beyond legacy mode. In the MP's case, Windows can't see the ports without the AHCI drivers, so they're not an option.