I want to buy a Blu-ray player soon, and a HDMI receiver sometime(could be a year or more). I don't know if I should buy a player with built-in decoders for HD audio, or buy one without? Isn't it a waste of money having HD decoders in receiver and player? What's my best option? I'm thinking of the Panasonic BD35 and Philips 7200 Blu-ray players. My current receiver has optical and digital inputs that I use for audio to my projector. Thanks.