The number was in the US filing unredacted...that is where they got to see the $150K for the US Assets for the “first time” (their own words).