$—

refunded to builders who actually shipped.

Public ledger