Trying to replace a bad switch in my electrical box. This one is in the
garage, a 3 gang box with lights and also two push buttons to control the
garage door.

I am trying to find another push button switch but HD or Lowes don't have
them. May have to try an electrical supply house on week days...if I press
the button once it opens the garage door (without having to press it while
it's moving up), if in the middle of opening I press it again it will stop
the door at that position. If I press it again it resumes the opening again
until it is fully opened. Then I press it again it will close. The button
is somehow also wired to the exterior hi-hat lights on the outside of the
garage doors, as long as the doors are up those lights comes on
automatically.

Is there a special name for these push button control switch that will fit
into a normal 1900 box with a mud ring extension? If I see them online I
might just get them on line.

Thanks,

MC