Hey, what do you know?
I just came accross to this:
"For those of you who do not know it, TPS keys 3 & 13 = TPS AES keys"
The keys given in my previous post are also given... perhaps this doesn't work for me or for Arion stbs but it might work for other stb.
Please try it and report back so we learn a bit more.