I have another bit of detail while you're up here.
There was news recently of the U.S. Department of Commerce reducing tariffs it was charging, but there was nothing on reparations in terms of the tariffs that have already been charged and collected.
What's the mechanism for getting our money back, and how long might that take?