La Sony lo prevede, la Samsung non te lo so dire e nemmeno si trova nulla su internet. Comunque esistono filtri salvafulmini per cavi d'antella e corrente. Con pochi euro ti metti al sicuro...per la prossima volta 
Arresta le scariche elettriche in alta tensione provenienti da eventuali fulmini di origine atmosferica o elettrostatica in discesa dal cavo di antenna. Opera in banda larga (40-2.400 MHz) e preserva le apparecchiature collegate al cavo d'antenna (TV, decoder DVB-T/SAT, DVD-R e quant'altro). Basta solo inserirlo nella presa d'antenna dell'apparato da proteggere. Dotato di connettori IEC.
mi pare 14 euro su ebay, Comunque ci sono anche cavi di antenna che all'attaccatura per il tv hanno un cavo aggiuntivo che va collegato alla messa a terra. costo 10 euro.
Saverio sono daccordo con te che se un fulmine colpisce in pieno l'antenna non ci sono protezioni a meno che non si costruisce una gabbia di faraday intorno a casa Ma quelli che comunemente chiamiamo danni da fulmine sono quelli dove il fulmine non colpisce direttamente l'antenna ma cade nelle immediate vicinanze. Le scariche sono accompagnate da forti emissioni di onde elettromagnetiche che creano sovratensioni indotte nelle linee elettriche e telefoniche e spesso sono quelle a procurare danni. Io ho avuto un danno dopo un forte boato di tuono (che è il rumore procurato dal fulmine) E siccome il tuono ci arriva dopo che il fulmine è caduto perchè hanno velocità diverse, si deduce che ciò che ha procurato danni sono state queste onde elettromagnetiche che hanno raggiunto successivamente la linea elettrica.
La messa a terra dell'antenna è comunque consigliabile, anzi obbligatoria
Quello+quello ci danno comunque una protezione in più.
sono filtri per "danni procurati da fulmini" poi se la bomba atomica ti scoppia sulla testa, cosa molto rara, allora,come dici tu, non hai scampo. 
