For what it's worth, Wikipedia says that HDMI-CEC was introduced in 2006 as part of HDMI 1.3a, and the compliance specs weren't released until 2007 as part of HDMI 1.3b. That says that my TV and amp, which I bought shortly thereafter, are first-generation implementations of these specs. I'll bet that if I got a newer TV and a newer amp, that everything would work much more soundly together.

Still, the TV still works great and the receiver still works great, and this sort of improved integration isn't worth dropping thousands of dollars. Nope, this is one of those "once it blows up, I'll replace it" sorts of things.