TK1 Dimension

I am looking to replace the fan on the Jetson TK1 Dev board with a passive heatsink to transfer the heat to the aluminium box. Does anyone know where to find the height dimension and tolerance of the TK1 on the Jetson board?

Thank you.


Chip height can be found in SOC datasheet:

Thanks, Jim!