Wow. I doubt that was considered when the rules were rewritten. Of course, repair ships were really uncommon, as I said. That's probably why we don't have repair guns yet, to be honest. There'd be no reason to add them if no-one used them in the first place.
I'd suggest having someone follow them to the docking point, then. If they're such a pain to dispose, use the way you've been given. It's not like they're hard to keep up with. When they dock, SS. If they return, report them. For the temporary loss of a bomber, you take out 8000 potential regens without firing a shot. Sounds acceptable to me.
