HI all happy users of Samsung VIA-CI 9500 the old lovely set top box. Long live my box. But after its retirement what to buy? :)