[Maria-discuss] MariaDB and Galera Support from Redhat (instead of MariaDB corp)

Hi we run DBaaS (Galera Cluster) with growing customer base. We also offer MongoDB, where we have commercial support from MongoDB (we can recommend it). MariaDB is included in RHEL, so Red Hat offers support. We anyway pay for Redhat support. So it means we don't need to buy support from MariaDB? Does Redhat employs MariaDB developers and have DBA/Expert know how? Lukas