While we are talking about this charger, do you need a separate power supply for these, or do they hook up to mains power? I'm looking into buying one and am just doing a costing. Any help would be greatful.