Going with the children's toy theme... Has anyone 3D-printed alternative plastic for the Flipper Zero, to make the buttons be a mix of colors, and rounded like Fisher Price?

Edit: Flipper Price, as it were.