It should still work, you just have to configure the player to pass them as bitstream rather than PCM. Even the new formats on Blu-ray should work, they will just be downconverted to something that your AVR can decode.
How much did you get the Sanyo for if you don't mind?