Anybody come across a good multi-port power supply for, say, a headphone amp + Raspberry pi? The multiple wall-warts are a pain. Two or more 5v USB ports. I gather a charger is a bad idea. Both devices spec a 3A supply, although they draw a lot less in steady state.