Some cleaners wash the mugs that are provided in-room in the bathroom sink, then dry them with the used pillow cases.