I think we're pretty much in agreement. Any remaining differences are either trivial, semantic, or (at the risk of angering the Aumann Gods) "things reasonable people can disagree about".