Stylus for childrens' electronic drawing tablet

We had a drawing tablet at home, similar to this one: https://a.co/d/2h8asbw Ours doesn't have a brand name marked on it, so I'm not sure who actually manufactures it.

I knew we were gonna lose the stylus someday, so I took down the dimensions of the stylus and clip.  Lo and behold, we lost the stylus, so I was able to model this up quickly and print out a replacement.  Then we promptly found the original stylus.

I'm putting this up in hopes it helps some poor soul who loses their stylus!  I printed this horizontally with supports, then shaved down the blemishes with a hobby knife.