Got this a month ago.
One more thing to add: Big Four is always a put option; exercise it only when you get no better offers. The price of this option is exactly the penalty paid only when you default, which makes it a type B contingent premium option.