Miniature Table Football Handle

The handles of my kids miniature table football broke.
So I printed this replacement part ...
Obviously you can adjust the dimensions for your needs in the .scad file, though I did not bother to make it parametric.
Second version has some reinforcement structures that should help stability.
Third version has some tiny inner holes that forces the printer to use more material -- even more reinforcement in the critical area.