the older HE25 was around 12mH IIRC. John was working on the UE15 that also had high inductance like the HE15, but there was also a low inductance version (around 3-4mh) of the UE15 as well..with less throw though.
No it's not that high, as I recall is ~3mH or lower.
I just slapped a meter on my (older version) HE-15, each VC is ~1.2mH. I used 2.2mH total when designing the AS-15. At least that's what my LspCAD data file shows