That solves the majority of my thoughts as I am thinking a constant decent amperage 12v bus is likely going to be a ‘thing’.
I guess it could be the reverse and a hat that provides 5v to the GPIO but 12V at the I/O instead for me is preferable, but guess its dependent on the utilised type-c connector as how much connector dictates volts/amps.
I think with the Pi4 its use the Pi USB C PSU as its 3.0 amp and a great price as some rave about how great it is for low cost.
I think @tkaiser once said it was raspberries best product and he his a pretty good reviewer of product.