I have a friend who used to be a purser for one of the big cruise lines. They had a leak which ruined a huge amount of carpet in a dining room. They carried spare carpet on board and replaced it... and then dumped the old carpet off the side of the ship.