Oh, don’t worry. He can just buy them from himself using taxpayer money via subsidies from his other company like he did last year. If you’re an American taxpayer, you’ve already bought one.