Some companies provide devices along with repair work and installation
https://www.livebinders.com/b/3729425?tabid=a9e19d17-96d9-dae8-7c7e-e1fe7b77a90e
Some business offer accessories in addition to fixing and setup, which can be practical when selecting a full garage door company.