The TAS3251 has been out of stock with every authorized distributor for months, and TI told me they can't tell me when it'll be in stock again. I sent some RFQs to some non-authorized distributors (almost all listed on octopart.com), since almost none will just let your order without a quote, and the ones that do charge an arm and a leg for them, but they're not that quick to reply, and the one that did said a minimum order of $250 was required.
I ordered 5 for €20.77 from AliExpress but god knows when they'll arrive and whether they're legit. If anyone has any and is willing to sell me 2 or 3 then I'd much appreciate that.