Lenovo X1 pen holder

This is a remake of the original plastic pen holder that is inserted on the Lenovo X1 tablet. My original one broke, so this will do as a replacement.
I printed this in PETG to make sure it doesn't break when I toss it in my bag. This holder is designed for the original Lenovo pen (9.5mm wide).

Update: I have added a v3 version that better holds the pen and more closely attaches to the tablet.