“Brand-name sensors found in both premium and clone mice; mentioned again when discussing sensors in all four mice.”