Super cute! It's cool to hen seeing more and more kids getting into playing - even just a little.
Y'all may or may not have seen, but that's how I got into pinball. I played as a little child, and now I'm ranked 4th woman in the world (currently) at 15 years old. I'm not going to say I'm not happy, because I am.
Pinball can become a lifelong thing for people to enjoy. Judging from those photos we may have some future (or current, for that matter) pinball hobbyists!