DVB-S2 Radio Channels on 30W

[Adam792]

I've seen on Flysat that there are some new Spanish and Portuguese radio feeds on 30W in DVB-S2 QPSK.

FlySat Hispasat 30W-4/30W-5 @ 30° West

12702V 1041 3/4 (Portuguese Commercial stations)
12518H 1125 2/3 (Spanish Commercial stations)
12520H 719 2/3 (Spanish Commercial stations)

I can lock these transponders but TVHeadend finds no channels.

A closer look at Flysat shows the PID data as stuff like U:230.0.0.1, which makes me wonder are these some kind of UDP IP stream over DVB-S2?

Can anyone tune them in? And how do you do it if so? Is it IP over DVB-S2 as I'm wondering?

Thanks!