I'm running a mostly stock Sager np8130, except with the entry-level i7 instead of the i5. I've updated the BIOS recently and have also downloaded the latest chipset drivers. From the BIOS is also tells me that my card is in AHCI mode. Anything else I should check?
Also, if you ran those 3 benchmarks back-to-back then you wrote about 15GB of test data to your SSD in a few minutes. You should reboot your pc to the login screen before you go to bed to allow TRIM and idle Garbage Collection to recover drive performance overnight.
I didn't do all 3 benchmarks back-to-back, but they were within an hour or so, as I tinkered around with a couple of things, so I still followed your advice and left my computer sit for a few hours at the login screen. I also downloaded the drivers you suggested and finally, reset my windows experience index. (I didn't realize you had to do it manually, very odd).