I think you'd be best served by using a regulator to turn 13.8v into 9v, rather than trying to redesign the radio to natively run on 13.8v. I imagine a suitable circuit could be installed in the 18650 battery case on the side of the zBitx case, rather than putting such a heat source inside the case.
?
Personally, I plan to use the battery powered option, but I do understand the desire to operate from a standardized 13.8v power source...
?
Ken, N2VIP