A shell design remixed from jakejake's Squishy Turtle, which is a very impressive model. Specifically, I uploaded the "plain shell" file into Tinkercad and added a cylinder on top to resemble the shell of Mine Turtle from the asdf video(s).

The idea for the Mine Turtle shell was akcent96's, posted in a comment on the original Thingiverse page.

Enjoy!