Dual PSU is the best answer (2 bricks.)
But also, you can get 12V to 15V boost converters like this one:
You could try powering the TipTop from that, and then have a big hefty 12V source for everything on a single inlet (just make sure to rate connectors appropriately.)