Wow that's crazy news on the Colt! Good thing the dealer didn't look into it, I imagine the price would've been a wee bit higher.
You got a real piece of history there. Does it belong in a museum? The Marine's or Colt's? 1911-1916 sounds like the best time to be running Colt, you had the epic 1911 pistol, but didn't have to deal with the frenzy after the U.S. entered WWI.