DIY 12v power supplies (just in case anyone is interested).