Anyone know how often these are washed? Whenever we go to WDW for an extended amount of time, I always requested new bedspreads/blankets so I know they are clean. How does it work on the cruise? Are they washed after the end of every 7 days? If not, can I request freshly cleaned ones at the beginning of the cruise?