Spacer for ultrasonic vinyl record cleaner

A friend of mine bought an ultrasonic record cleaner for his vinyl collection but it only came with 4 spacers. after searching all over the internet he couldn't find any additional spacers without buying the whole cleaner again.  So a long story short. Here are the spacers. I designed them with 9/32 center hole and 3-½ " outside diameter.  I also am including the freecad files so you can remix as needed.