There are some minor differences between the 3080 and the 13700, but Alfa already has a quad 13700 version so as you say, it’d be surprising if they don’t roll out an AS13700.
Rochester only packages existing wafers, though, so if they will be able to supply new ICs depends on TI.
EDIT: Turns out Rochester has some LM13700 stock, and at a nice price too, if you’re ok with their minimum order size 