Quanto costa in media la riparazione del decoder digitale terrestre