If that coupon gets renewed again tomorrow, I’m hesitating between the SPL Vitalizer, the Acme Opticom or the Townhouse comp to spend my final 2020 tenner, although I seem to remember they were each as low as $4 some time ago.
As for Korg models, you may also look into their software bundle. Similar for Roland. But you won’t find a software Alesis Andromeda outside of IK, as far as I know.
Modeled (Arturia) against sampled (Syntronik), the former having a smaller size and being more versatile, the latter sounding fuller when done right. In a IMO nutshell, of course.