I made a socket for the 7Seg LED out of another Arduino Socket from Sam’s BOM. just cut it a bit wider than you need by one pin and then pull out the extra pins with small tool. fits like a glove. and makes the LED almost perfectly flush with the face plate rather than sunken in.
saves trying to find a real socket that fits, you got one already
sorry for blurry pics, old camera.
I am guessing without looking that a standard pin header socket is deeper than a DIL socket…
Mine is perfectly flush, there was just enough leg to to get a decent solder joint ( I hope ) without a socket… I guess it’s not mechanicaly as good as it is floating efectivly on it’s legs… Its also probably luck of the draw in terms of how long the legs actually are.
You coulf posibly use something lik NIXIE pins too, but they are a bit ( lot ) fiddly…