I currently have a Philips ProntoPro NG TSU7000 and I'm looking to replace it. I've already found the new pronto remotes, but they are too big. The Philips Prestigo remotes seem to fit, but I couldn't find out if these remotes can send radio singals. If there are any other alternatives, I'd be happy to know.