What I have is a NOTEWORTHY SmartCord auto adaptor Model NW802L.

Spec:

Input 11 to 16 vdc, .4 watts Max
Output 15 vdc @ .30 watts.

It does a great job of powering both the laptop and docking station, however
it takes a long time to charge the battery at the same time, if it happens
to be low..

Steve
s/v Good Intentions