Guys, On ebay brandnew colour pronto pros go for around £375 which is almost £200 cheaper than a UK model. The US version is the TSU7000 and the UK ver is the RU980. Would I have any problems using this in the UK? are all the infrared codes the same? I want to use the RF extender with it, would I have to get a US version? would this be ok to use in the UK? Many thanks.