Radiomaster Pocket antenna socket

I managed to snap the antenna off of my Radiomaster Pocket in such a way that I couldn't glue it back together without it being permanently unfolded; so, I opened it up and found that the antenna attached to the pcb with little ipex connector connector, this meant I could attach a regular ELRS antenna to it; to do this I printed a little thing to go into the socket in the shell where the original antenna was, that let me fit an ipex to SMA pigtail adapter.
The adapter/socket/thing fits into the hole where the stock antenna goes, bit of glue to hold in in place.
Printed in PETG without supports.