So they compile from the same source redhat uses, but change the trademarked media. Is that good enough?