[housemusicfan]

This is correct, and the customer has full rights to redistribute. But the original customer may be limited to paying Red Hat customers only and still remain in full compliance.