A question: has anyone out there ever come across a toilet with an infrared sensor that works properly? I have not.