[Thomas]’ garage door opener is a big old industrial unit, so he doesn’t have the convenience of a remote-controlled garage door opener. Obviously, this would get annoying after a while ...