I was wondering if anyone has ever used one of the automatic litter boxes. I have 2 cats, and am considering switching from a normal litter box to an auto ones. Any opinions on these?