mit Technisat kenne ich mich nicht aus, aber das einfachste ist, Du speicherst die Senderliste auf einen USB-Stick, dann kannst Du sie beim nächsten Crash wieder zurückladen. Hier steht etwas dazu, wie man das macht:

[forum.digitalfernsehen.de]