Short 33rpm spindle for Dual 1218 turntable

Got a used Dual 1218 turntable off Craigslist for a relative, fixed it and now it's working but it was missing the center spindles. So I tossed design this together in about 15 minutes, and printed it in about 25 minutes. It's for single-play 33 rpm (never stack records!!), and works great. It will also fit Dual 1257, and probably other models (1228, 1219, 1229 I'm pretty sure, probably loads of others from the 70s and 80s. Quick print, I used Pillar supports (in Slic3r PE) but it might print without. Beats paying $15 for one from ebay!