Here is the inventory of components currently in my possession that may be relevant to your team. These admittedly may be shared with other teams (e.g., the AX5043 chips for the RT-IHU) but much of this is earmarked for you:
9 of LAUNCHXL2-TMS57012 LaunchPad development boards
9 of V1.3 AX5043 Raspberry Pi PCBs. These are the unpopulated boards that host an AX5043. The connector fits the Raspberry Pi but I've jumpered it to the LaunchPad with success.
250 of AX5043 chips
2 of solder stencils for the V1.3 AX5043 Raspberry Pi PCBs
2 of PCB "jigs" for holding a PCB when applying solder paste (these are pieces of plastic that look like a bit like a carpenter's square)
I also intend to order more LaunchPads to receive them when in stock but I've been waiting for my AMSAT credit card (it's a bit delayed).