Yes, that's more or less the reply that I would have sent (I'm a lawyer and PHP developer myself).
There's one thing to add, it "might" be illegal to reverse engineer the ioncube code and spread it, as it's covered by copyright laws, but it's not illegal to decode a third party product (the...