13900KS sold out?

Upgrading my PC. Got everything but the CPU. I was hoping prices would decrease, but now it's looking like it's sold out everywhere, so prices are higher than MSRP from third-party sellers.

Anyone have any idea when they'll be back in stock?