>>10988622So predictably the tiny antennae didn't print properly (stopped at about 1/2 their intended size and curled for some reason) and so it's time for the old-fashioned way: drill 0.15mm holes and glue antenna-sized 0.1mm wire into them.
Goes to show that 3D printer won't do everything for you, modelling skills are not going obsolete anytime soon.