Thanks again for all the help, I have just bought one from Sears. There
were other things wrong with the old one, and although I generally fix
things like this, they seem cheap enough, and the new one has a sensor
in it, which will be good for the kid. Installation for $130 from
Sears, lifetime guarantee on the opener!

Cheers,

Dean