Pegelschalter 9241, Ersatz?