And I know just what the housekeeping staff uses (dah dum dum!):

The vacum cleaner (http://www.aeg.nl/node146.asp?ProdID=4035)

I actually saw this in a store last week and was just waiting for the chance to use it! Yes, we could actually buy this one if we wanted! Though we need a new washing machine first since ours currently puts holes in weird locations in jeans.......