You can also find other brand 4K dumb TVs on Amazon.
A guest might not see it plugged in and not know to try all the HDMI inputs before selecting the easy, built-in option on the TV.