Not sure I’d trust the recycled ones, but turns out you can still get the real ones from an end-of-life supplier: https://www.rocelec.com/search?q=ca3080 (they have a stash of wafers and package them on demand), and you can get their DIPs in small volumes from Thonk: https://www.thonk.co.uk/shop/ca3080/ (well, at least if you’re in a location they ship to at the moment).
But since this is a dual VCA anyway, redesigning for a 13700 makes a lot of sense. That negative supply is weird, though.
Also found this: