Paying to get rid of the Trump name.  Don't know what they paid, but well worth it.  Unfortunate that Donald Trump will continue to profit, but hopefully this is just the tip of the iceberg of the realization that the Trump name is not valuable, it has negative value.