I have two Craftsman garage door openers from 4/94, long before I owned the house. I removed the lens cover, but still can't ascertain which is the model number. The garage door openers work fine -- I need to replace the lens covers. Can you help me determine which is the model number? Could it be HBW1127? I also show Part 41A4315-6A which is not the lens cover part number, of course. Thanks so much.