I just capitulated to the pressure of my immediate needs and bought what looks like an original replacement from https://westinghousespareparts.worldsecuresystems.com

for $20 plus $8.68 ground shipping, but I'd still like to be able to program some of my universal remotes as back-ups.