Some time in the past month or so, someone mentioned they'd had the door lock replaced by one of the new flush types for a motor home. I've misplaced that and am wondering which make and model the new lock was. Gerald J.