They make filament but do other things I don’t know how much of this is printed but it looks like they had fun and gave back. I wasn’t here for this when it was first around the 70’s/80’s but I guess it was bigger for kids than Santas first day at the mall.
https://www.facebook.com/eureka3dprinting/posts/4304489919649976