When they come to repair it, get them to show you the release from the opener, so you can manually open the door in the future if necessary. Basically, it's a cord you pull, and the garage door goes back to manual mode.

CA