In the US, it would be copyright infringement for them to use a GPL'd decoder.<p><a href="http://en.wikipedia.org/wiki/H.264/MPEG-4_AVC#Patents_and_GNU_Free_Software_licenses" rel="nofollow">http://en.wikipedia.org/wiki/H.264/MPEG-4_AVC#Patents_and_GN...</a><p>(I should say, "it is believed that...".  Nobody <i>really</i> knows for sure.)