I'm not a legal expert (or even a legal novice) but we pay a patent license fee for the receiver box. We also pay (via the chip cost of the cirrus CPU) a separate fee for the ARM decoder engine.

As the 2 payments are separate, I personally don't see the problem with using another decoder - the box still has had a patent fee paid on it. My personal opinion, obviously.

Hugo