They are both right. When you send image data to a standard printer driver, the driver converts RGB to CMYK automatically and without user intervention. PrintFix Pro builds profiles based on this RGB to CMYK output. Both the driver and profiling software are expecting and are optimized for RGB input values. To build a CMYK profile, the first thing you need is an alternate driver (like a CMYK-compatible RIP) through which to print. If you really want to go through a CMYK printing workflow be ready to part with a lot of $ and a lot of time.
Laser printers by the way are notoriously fickle and inconsistent in their color behavior so you could easily end up chasing a moving target.