Even if this is the case (no idea myself), the TIM they used was utter crap. You can delid your chip, replace with some better stuff and get fairly big drops in temperature.
It wouldn't have been so bad if it was non K that they used the cheap stuff for, but what would it have added cost wise to the K series? Couldn't be that much!