Jetson TK1 heatsink mounting holes?

I’d like to replace the Jetson TK1 fan with a heatsink as discussed here:

http://elinux.org/Jetson/Jetson_TK1_Power#Replacing_the_fan_with_a_heatsink

These look like they would roughly fit the existing mount holes on the board:

http://www.digikey.com/product-detail/en/ATS-1040-C3-R0/ATS1406-ND/2688478
http://www.digikey.com/product-detail/en/ATS-1040-C2-R0/ATS1405-ND/2688477
http://www.digikey.com/product-detail/en/ATS-1040-C1-R0/ATS1404-ND/2688476

How can I be sure? Is there a mounting hole standard that the board and heatsinks are likely complying with?

The mounting holes appear to be 61mm. You should probably double-check that measurement as I didn’t use calipers.

The only passive PC heatsink I could find that supports 61mm is the Enzotech SLF-40.

I haven’t bought one yet.

It looks like that cooler comes with a fan. Should using it without the fan be better than using the standard heatsink without the fan?

It should, as the Jetson’s stock heatsink is mostly plastic and contains little or no metal.

Careful though, this guy had a much bigger hunk of metal on there and was getting pretty high temps on the Jetson: https://devtalk.nvidia.com/default/topic/744715/?comment=4233693