I’m restoring my HVAC control panel. Wondering if anyone has any information about the push button switches. See this thread....