Can't agree more, and that's why after paying well over $3K for the AV8801, I told myself my next upgrade would be to $1,000 last year model AVR, hence my current cheap AVR-X4400H
Even if an AVP would actually "sound better" (that they don't, not to me), you will never, or extremely unlikely to be able to get a good discount for even one that is two years outdated, like you generally can with AVRs.
Now there is apparently a big difference (objectively speaking only) between the 8015 and 8012, so if you can make some money, you may want to consider selling it, keep you beloved Arcam, and then try to score a similarly deal on the SR8015 in 2023.
It it was me though, I would flip the AVR10 (should be easy, there are many fans), keep the SR8012 and still try to score on the SR8015 in 2023.