Reply to u/banksclaud at https://reddit.com/r/typewriters/comments/1pf09vb/please_help_surprise_my_son/
Etsy can often have people flipping machines without having any work done, so be careful on what price you're paying for what you're getting. If it's over $350, it ought to fully serviced and have some sort of guarantee. Otherwise, find something at your local repair shop: https://site.xavier.edu/polt/typewriters/tw-repair.html
This question is asked so often, I've written up some good general advice which should apply to your child: https://boffosocko.com/2025/03/29/first-time-typewriter-purchases-with-specific-recommendations-for-writers/ For the age and your desire not to be bulky, go for a portable machine and not a larger standard or the more finnicky ultra-portables.
Some might opt for the brighter colored typewriters for kids for the "fun" factor, but I've found, having done a few type-ins with a huge variety of machines, that it's often the adults that are drawn to the colorful machines (which tend to be less well-built and plastic-y/cheaper) while kids will respond well to the older, duller vintage machines.
Here's a few 1950's advertisements directed at parents of kids just for fun: <br /> - https://www.youtube.com/watch?v=VTrkDa-GuSI<br /> - https://www.youtube.com/watch?v=bOIRul7pXDY