zu 1) nein, Du kannst in der Videostation-App nicht den Player einstellen
ich habe auch schon die *.plist Dateien durchgewühlt
workaround:
einfach am PC in der WebGUI der Videostation einen Sender auswählen
dann bekommst Du einen Link angezeigt für den Player (z.B. VLC)
dieser liegt auf Port 5000 (
http://meineSyno:5000/VideoStation/livestreaming )
diesen Link dann in einer beliebigen IOS App die so etwas abspielen kann eingeben (und abspeichern)
zu 2) alle Apps Puffern den Stream mehrere Sekunden (2 bis 10) bevor es los geht (das nervt im lokalem Netz)
die besten Erfahrungen mit DVB-T Streams habe ich Aceplayer und Goodplayer gemacht
insbes. der Goodplayer kann Deinterlacen (!!!!!) und auch den Ton verstärken
leider puffert er am längsten (10 Sekunden)
trotzdem mein Favorit (sehr stabil)
Aceplayer ist regelmäßig für kurze Zeit kostenlos