You can snag them on Ebay[0], the A100 with 40GB is ~$5000, the 80GB is like $13,000, good luck, hope it doesn’t break, since you’re not getting a warranty!

[0] https://www.ebay.com/sch/i.html?_nkw=a100+40gb

I'm seeing a bunch of results from China. I was under the impression it was illegal to sell A100 to China, so where are the chinese sellers getting these cards?

As a consumer isn’t the A100 costing you unnecessary “cloud tax”