Thanks for the reply and the very useful info.
The rule of thumb could at least be stated on the manuals of power supply modules. I'm pretty sure I'm not the only one who has not heard of the 3/4ths rule before.
I've now ordered the boost adapter!