Oof, $80 is encroaching on Aliexpress N100 Mini PCs and used "Tiny/Mini/Micro" territory.
I have the original and updated Pi Zero W-- unbelievable bargains at ~$15 but if I needed any horsepower I think I'd rather have an x86_64 so I can run whatever.