Do hotels still need set-top boxes?