That is correct, it is something between 8 and 10mm, IIRC. The mounting brackets of the NH-L9 coolers have shoulders as well, I'd say with those we are arriving at at least 5mm distance from the top of the board, which results in a bending angle of about 15° for the 75mm distance between mounting holes that sockets 15xx have.
I wouldn't call that healthy at all. Still, you immediately notice this during assembly.