The 8930s are not SDXes, just MPXes. Under System / License, both ADC License and ADC Test License tabs, it says "Platimum." I'll try and find out the answer to your question via some googling, but if you know an easy way to find out, please let me know. 🙂 I've never heard those terms, "perpetual/pooled" in this context.