There is no need to press the info button show the channel list. Just to repeat, The easiest way to to see the transponder details is to press up (next to OK), highlight the service and look at the screen. Anyway, don't worry about it for now.
Test 3.
Disable all recordings.
Set preferred tuner as A. Select BBC R1 (10802 MHz Horizontal) Restart. Confirm you are using tuner A by looking at tuner on infobar (press OK) or front display.
Start a recording of BBC R1 for 5 minutes (Only tuner A will still be in use.)
Select BBC WS (10788 MHz Vertical), receiver should start using tuner B. Does BBC WS work is is there a problem?
Test 4.
Disable all recordings.
Set preferred tuner as B. Select BBC R1 (10802 MHz Horizontal) Restart. Confirm you are using tuner B by looking at tuner on infobar (press OK) or front display.
Start a recording of BBC R1 for 5 minutes (Only tuner B will still be in use.)
Select BBC WS (10788 MHz Vertical), receiver should start using tuner A. Does BBC WS work is is there a problem?
Upload debug logs please.