What makes you think they are playing any game? Their GPL requirements for source code are for their Android players - and this does not include the early X1, X3 and X5 players which were their own OS (developed in house). They've chosen not to release the source code. That's their call - it's their property after all. That other BS from that forum post was simply someone not understanding the GPL didn't apply to the earlier players. If the guy was really keen on developing, he can unpack the OS using the same toolset Relic used to unpack and repack the themes. He'd then need to decompile the proprietary OS, make his changes, recompile and test. No-one stopping him doing that on his own device.