Normal
I was looking at the area where they travel into the far end of the heatsink. I'm guessing they're 8mm heatpipes, and I'm just used to seeing the smaller 6mm ones.
