Really? I think it's a steal for a 40+-storey historic art deco skyscraper in the center of a major American city. You could probably talk him down to $9.5 or $10.