Could RedHat utilize an auto-conversion utility to make mpeg files something open source friendly before they are ever opened?
A conversion utility would also implement the patented software routines, and could not be distributed. The patents don't cover players only, but any software that reads/writes those formats.