How much » Televisions » Digital TV decoders