I don't know!
Probably not if your 4000 doesn't have it.
Please explain a situation where you find this useful so I can regret not having it on my Denon!
I don't know what I'm missing!
I use the TV speakers for background sound a lot. For example, going through my morning routine, I watch/listen to news through the TV speakers. I usually
end the day with music (Media Player or Network input) played through the Denon.
From habit, I turn to Cable input before turning the Denon off the previous night. When I forget, I have to turn on the Denon to change the input and turn it off again.
The Denon is off, I'm watching cable and want to switch to the laptop (since the laptop sitting on the rack, is plugged in via HDMI), when I want to use the TV as a monitor.
Honestly, this was not an issue until I used the Yamaha for 3 months while the Denon was having an HDMI board replacement. But, now I know better and want better.