hi and thanks for reading well im a total newbie to this so go easy on me lol

my brother in law has just moved to england from france and bought a SR-X1200D the problem he has is he wants to watch the TPS channels
could anybody tell me if this is possible and how

thanks a lot dan