Just a quick question. Do i tick the 7.1 options in the ps3 sound setting even though my onkyo 875 is only set up as 5.1