I'm wondering how you change the input port (e.g. PS5), guessing you jump back to the Samsung OS in those cases?