If you look at the FSF's 990, you will see that the Red Hat contribution amounted to about $7000 USD a year. It was a really negligible amount.