So, if someone did need a replacement switch, is it a standard model or proprietary to this manufacturer?