Does anyone know what kind of plastic Lucas likely used for the heavy black shell of their late 1960s - early 1970s toggle switches? I need to glue one back together and would like to use something that'll last and won't weaken the plastic.