Pin dimensions on PCI Express card edge

I can see this as being 50/50 between here and Eng.SE, so I decided to ask here as it deals with the PCI Express standard.

I'm attempting to create a library of PCI Express card edge footprints in Altium Designer, but I'm running into two dilemmas as to how the Card Electromechanical Specification lays out the the card edge dimensions. The image below is a snippet of the mechanical spec:

The two issues I'm having are:

1. The length (or, I suppose, height) of the normal-size pins are not specified. I was able to infer based on the height of the PRSNT2# pin and the difference in distance between edge of pin to edge of card that the normal pin should be 4.20mm high - is that correct?
2. The distance of B12 to the key centerline is specified as 1.50mm, but not the distance in the other direction, that of B11 to the centerline. I'm a little uncomfortable making the assumption that the two are the same and that the pitch between the pins is 3.00mm - can anyone confirm (or deny) this?
• I would carefully measure a commercial PCI card to confirm the measurements. – Peter Bennett Oct 20 '15 at 4:08