Hey, I've had a chance to get my hands on the FocusBug system and took it to design my version of the antenna protectors. Sadly they require supports but I've made them available for free to download on thingiverse : https://www.thingiverse.com/thing:5136884 They are printed out of PLA because PETG would be a pain to remove the supports.