Very cool! Thanks for researching this! I knew it could be done, but the withdrawal process was the mystery to me. Sounds like they made it super-easy!
By the way, the "P" on the end of the tokens stands for "Pegged." When you buy "HIVEP," you are not buying HIVE, but a token that is pegged to the value of HIVE, like an I.O.U. Only when you withdraw the HIVEP into a HIVE wallet, then it turns into HIVE.