In case some people don't have OpenSCAD, I uploaded some STL files to print. Feel free to generate more and print them!