EDIT: 6mm cooler nut height. not sure how much taller for the entire thing
EDIT2: there's some margin of error within each pixel if I follow the scale the picture, so we can try measuring directly off the picture, but what's missing is the actual CPU height (if anyone has a threadripper CPU floating around and a caliper...)