Argh. My garage door opener suddenly decided to stop working. Had to open and close it manually today. Hope it doesn’t need to be replaced.