I know it was on the one we bought about 5 or 6 years ago. I know this because I didn't have the water hose hooked up tight enough (plastic threads on the washer, metal threads on hose, great idea) and water got into the pan. After lots of cursing, calls to tech support, and finally Google, I...