I wonder how ob/ob mutant mice behave. Do they move less and sleep more? Is their body set temperature lower? It doesn't make thermodynamic sense that they would get obese on half the diet unless their physical activity and body temperature were either or both impaired.