In germany, a defect by lightning would definitley be a case for ones household insurance. Don't you have one? I assume it'll be pretty expensive to let dmm change the tuner (though, from what I've heard, DMM computes way more realistic repair costs than many other companies out there)...