@Robin Tsang: Yes, although I consider this something I personally owe to all of the Chipalooza participants, and if I can manage to get SkyWater shuttle runs going again, or shuttle run slots at similar prices to what Efabless was able to get, then the deal is still on. Meanwhile, if, likewise, I can manage to keep Tiny Tapeout going, I will personally underwrite the Tiny Tapeout slots that I offered. It is not clear to me how the unclaimed awards are counted as Efabless liabilities that are the responsibility of the receivership company to pay back. I do not know much about the receivership process yet.