It's the default heatsink with the pushpins. But I'll have him check that first. Thanks for the suggestion.
The heatsink does have pushpins but you still need to screw it down once you push it in. The factory applied stuff is fine as long as you don't take off the heatsink. Once you take it off, you will need to remove the existing paste and apply new paste before remounting for optimal temps.