Dometic dmr702 reset. Prices elsewhere were ridiculous.