Non è un procedimento complicato, e solo che descriverlo a parole sembra sia più incasinato di quello che realmente è. Prenditi il tuo tempo.
Generalmente quando per la decodifica di un flusso streaming è necessario un codec non presente, viene quasi sempre dato un link o informazioni so dove reperire detto codec. Questo detto, non ho idea di che codec la app della RAI usi, non avendola mai scaricata. Se non ci sono indicazioni sulla pagine della app, faresti meglio a chiedere mandando una mail all'indirizzo che puoi trovare in loco.