So I tried to use the Smart Tune option to see if I could get the new channel but no joy.
I later realised that Channel 57 is currently occupied by 5Spike+1.
I guess the only option is to perform a full retune.
Before I do that has anyone had anyone without the need to do this?
Oops, it not until tomorrow (4/7/18) so I might be quids after all.