We've got the original Dometic RM7130 which works great. However, lately, it has stopped switching automatically from gas to electric when I run the generator or plug in. It switches fine manually. Anyone experience this? Thanks.<br/>jor