I wonder about that too. Currently, they run 2mm at the "ridge" and taper to 1mm at the edges. The bulk of each lug is at 1mm.

Wall thickness of XCR tubing at the lug is 0.7mm. So while thickness is not that far off, it certainly can be adjusted. I would most definitely consult that fact with the builder before I print the the lug. Changing the solid model only requires a few clicks of the mouse.

I could also probably keep the sculptural aspect of the lugs using a 1mm-1.5mm range instead of the 1mm-2mm range. But I want to keep something. I'd like to change the "flatness" of your typical lug.