Vertical AR Grip

I was watching this very cool video the other day: https://www.youtube.com/watch?v=i5uJ9x2eZHs and saw that they were using a 3d printed vertical grip, which looked stunning, and immediately decided that I wanted one.

Sadly, since both the grip files or the finished product are not for sale right now, I decided to replicate it as best as possible.

What to print:
There are two files that you can choose from.
One of them has a 9mm groove, and the second one has a 10mm groove (the groove is represented by the red line in the front view of the grip).

The regular AR groove dimension is 9mm, but I prefer printing the 10mm version to be sure that it will fit even with materials that tend to shrink a bit such as ABS. Your choice.

The red line on the picture looking up represents the diameter of the bigger part of the hole, which is 12mm, and the green line represents the diameter of the smaller hole, which is 7mm.

If any of those measurements do not match the dimensions needed