Those can also be had for tens of dollars. But my general point was not about the Pi; it was that even poor teens likely already have access to their own Linux-capable machine.
At that point, you’ve spent well over a hundred bucks on a very basic machine, esp once factoring in shipping. A decent Chromebook with Linux support can be had for about 250-300.