An update:-
"Manhattan" set top box , £70 delivered. Plugged into the existing system very easily. Working well, only thing I would say is the remote is very light & flimsy, so maybe that's the difference from dearer boxes?
Thanks for the replies.
Windy.