Dziękuję wszystkim za pomoc. Ostatecznie zdecydowałem się na Xiaomi Mi Box 4K . Przeważył stosunek jakości do ceny - kupiłem go za 259 PLN. PS4 odpadł bo uznałem, że i tak na razie nie miałbym kiedy grać
Po tygodniu użytkowania ( przyznaję, że niezbyt intensywnego ) wnioski mam takie:
Plusy: Bezproblemowa obsługa serwisów, o które mi chodziło. Netflix jest nawet preinstalowany. Wprawdzie apki HBO na android tv nie znalazłem, ale w międzyczasie odkryłem, że nowa wersja aplikacji na zwykłego androida wspiera już google cast, który jest obsługiwany przez Box'a. Bardzo wygodny pilot, fajne wyszukiwanie głosowe.
Minusy: W zasadzie jeden. Gdy przez dłuższy czas jest wyłączony ( w trybie czuwania ) potrafi zgubić połączenie z i-netem ( niby jest podłączony do routera ale nie ma transferu ) - jeszcze nie badałem czy problem leży w pudełku czy routerze - restart rozwiązuje problem.