Hmmm.....
Would appear that I'm not alone after all (damn, this search facility is good

).
All the time I spent carefully arranging the channel order on my Samsung box (3 months ago) has gone to waste today. Came home from work and they've all reverted to the default order.
Oh well, needed something to do tonight