It’s $100 million in total.
Got it, quite a lot, but Trump of all people, given the overwhelming reaction for the campaign, may want to consider it. JMHO.