I have been told that the linoleum on the floor in front of the grand staircase was the first time linoleum had been walked on or seen by anyone ever, and that it was more expensive than marblel. Can anyone confirm this? Any documentation on this. (I've discovered it's not uncommon for "neat"...