12th pin if it exists it's an unused pin on all the displays.
Quoted height is the actual segments, case adds to that dimension.
You can create a symbol for any size you want, I know you have in the past.
You can also check Newark.com for symbols, they have them for a lot of parts.