Do NOT use non-lead silver bearing solder on the ceramic terminal stripsThis seems farfetched to me. It seems like it would only be a problem
if you managed to remove all of the original solder, and repeatedly
resoldered with tin-lead.
Has anyone ever managed to remove the silver plating from a terminal
strip, either in the course of normal repairs, or by intentionally
trying to do so?