On 2017-01-28, Jim wrote:

I have a "garage door open" detector alarm just in case it accidentally opens.

Did it come with the "garage door opener" or did you have to buy it as
a separate device?

nb