i control my ps3 through hdmi cec from my samsung tv which works fine, except that when watching a bluray the only way to pause is to press the ps3 start key which has no equivalent on my samsung remote. i suppose it's rather unlikely but does anyone know of hidden samsung codes (efcs) that might do the trick?