If I remember correctly, the focal lengths are close to 3-4 inches for my 1 to 2 inch diameter PCX lenses, some of my larger 4 to 6 inch diameter lenses have focal lengths from 8 to 14 inches. This may seem unusual, but I rarely measure divergence, what I do is check with the FAA and see what the cloud deck heights are and see if I can put a spot on one after dark. A 1.5mRad 532nm green at 100+mw can easily do so at 5,000 feet and if I squint, up to 7,000 feet. A four inch lens on a 1400mw 520nm green can allow me to see a spot up to 11,000 feet with the naked eye, if I look carefully, but difficult to see that high. If I use a 1 inch diameter lens with a PL520 single mode green laser diode I can also see a spot at 5,000 feet, but the amount of power at 80mw, when pushing one hard, makes the ability to see a spot much higher difficult. I believe the mRad for that diode with that size of lens is much less than 1 mRad, but I haven't actually measured it.
To estimate the divergence with the big lenses, I just take the normal divergence such and such a laser with a known divergence has and divide that figure into the diameter of the larger lens, as a larger ratio. i.e, a laser with a known divergence at 532nm using a 6mm diameter lens producing about a 4mm wide beam expanded to 40mm would be ten times less divergence. I probably should take the time to measure, but I live in a small apartment with a back yard shared by three other apartments, so don't do much outside work and shooting across the living room isn't much room. I will shoot into the sky if I don't see or hear aircraft, no problem, but low across the ground, not.
If you are crazy about low divergence, and want to build a huge beam expander with at least six inches of clear aperture, this lens on ebay is uber high quality and made by Edmund Optics, I bought a bunch of them, he only has three remaining:
http://www.ebay.com/itm/291696319108
No AR coating, but a very nice lens, the photo on ebay does not do it justice, and it comes nicely wrapped in the original box. I can imagine this lens cost two to three hundred or more new, maybe more than I think. Only problem is the focal length is like 18 inches or so (if I remember correctly, don't hold me to it), the raw output of a 1 watt 520nm green laser diode causes about 10% overshoot at its focal length for infinity focus.