Most new sound systems indeed use rotary encoder, mechanical or optical, like the one you linked to. Some also have push switch on their shaft. You see them on car radio, MIDI controllers, mixing consoles, etc etc. Really handy piece of hardware, specially for surfing in a menu...