Compatible garage door opener/sensor

[ericbodden]

FYI I just found this this solution, which works just well for me…