WOW!!it takes at least 3-5 seconds to switch the channel.
On DVB-T/DVB-T2, I usually get about 1.2 sec for a full 're-tune' channel change, and around 0.5 sec for a 'different channel in the same mux' change.
I can confirm the 4-5 seconds per switch, but i'm running a multi-seat setup. The actual start of the stream (when monitored through TV Setup) is much faster then the client starts the playback. Also DRR enabled, so it's probably all about 'the chain'.
Maybe it's start of playback that could be improved. I know DVBViewer tunes in less then a second to a running stream.