Hello! I bought a Philips 5200/12 Blu-Ray player but the first owner lost it's remote controller. I couldn't find a remote which is said to be compatible with this exact player, but I found one (original philips) which is claimed to be compatible with PHILIPS BDP9600/93 BDP7600/93...