I bought a SC-85 for pretty cheap. The features that you get for five hundred dollars these days are amazing. I don't have a problem with the HDMI syncing. I am not in the habit of switching back and forth with my sources, Bd to TV to PS3 and back to BD. When I change channels with DTV there's no switching problems. When I watch a movie I turn everything on, watch the movie, turn it off, one source. What I do especially like is the sound field for both movies and music, very nice.
HT TCL 55P605, Mitsubishi HC6500, Pioneer UDP LX500, Panasonic LX1000, Firestick 4K, ATV4K, Onkyo TX-NR787, DefTech, Klipsch, Martin Logan, SVS @ 5.2.4 Atmos
Stereo Sansui SR-4050, Dual 1219, Pioneer UDP LX500, Emotiva PT-100, Be One Audio MA100, Polk Monitor 10, SVS SB1000