I rounded the height down to 8.5mm (from 8.51) then cut them all in half and printed all of the 4.25mm tall parts on my Bambu Lab A1 with their PLA Basic, Cyan. Then I just glued the halves together and they are MAGNIFICENT!