Ok. Well, I installed the Mini version first and it seemed to work fine. Not sure about speed stepping, but the shutdown of my laptop worked much faster than before I installed VooDooPower. Then I removed the Mini version and installed the ACPI one. Same results, so I will use the ACPI version.