The default player is DVB 1 but can be changed to IPTV 4097 or Gstreamer 5001 or Exteplayer3 5002.

At the start of the service reference number every channel begins with 1:#:#:#:#:# if using dvb1, but if you change your player to one of the others, it changes to 4097:#:#:# and so on.

The other media players have some advantages over the default player and allow some control of playback, like buffer size and duration just like on a Mag box.