Much more expensive though.

Are they?

$24 for a Teensy 4.0 over at Sparkfun. That seems reasonable to me.

I do miss the older Teensy 3's and 2's.

Depends which model. Arduino Mega retails in Europe for around 50 euro.