I have a sears craftsman 1/2 hp garage door opener circa 1994. it has a white round learn button and it came with a rectangular blue remote with 3 buttons, one large, 2 small. the remote is not rounded at all and the buttons are square edged also. the model number has completely worn away. I need to find a manual for it but have no idea how to identify the model number.