I guess I am in the minority camp. When someone brings in a dirty mug, I ask to have it so I can clean it for the customer. I use tons of ceramic cups in my shops, and they do get dirty, and they have to be washed. I don't see the difference between washing a travel mug and washing a ceramic cup. On top of that, customers really appreciate I offer to clean their mug.