Insta360 ONE RS Cover (Boost Lens + case)

When I go biking I throw my Insta360 ONE RS in a small bag with a spare battery and accessories. I was worried about the lens getting scratched or the camera accidentally turning on and leaving me with no battery, so I created this simple slip-on cover. The pictures are it in PETG but I've since re-printed it in 95a TPU which I strongly recommend.

It fits directly over the default case that comes with it and won't work without the case present. It may very well fit over the Insta360 ONE R but I can't know that for sure.  I've included a STEP file if you need to remix it.