How do you guys wash your shorts? My hand or washing machine? Mine say to do it by hand but I never feel that they are clean enough when I do that.