thanks Dave for this complete resume of situation.
for studio side, your link to pro convert or Roman's raspberry solution seems attractives. I'm not familiar with PI and may be some optimisations are required...
for GSM side, do you have advices on applications dedicated to rtmp/srt streaming

I searched and did not found "broadcast use" APK.