This used and does work.  Rubber gasket is in great shape, not original box