> I don't know whether or not RedHat actually contributes to CentOS

Not sure if that counts, but they hired a few of CentOS's core developers a while back (one or two years ago, I think), explicitly to make communication between RHEL developers and the CentOS people easier/faster. CentOS remains what it was before, but Red Hat now pays a few people to work on it full time.