Ma la red hat 9 è solo a pagamento?