notebook netzteile liefern aber eher zw. 15 und 20V.
desweiteren sind 80W dauerleistung recht viel für ein NB netzteil. viele haben so rund um die 60W (okay mit der höheren spannung wär das mit dem strom auch anders
)
nachdem die entsprechende pumpe nur 12-15V betriebsspannung hat müsstest schaun ob du was entsprechendes kriegst.
ein stinknormales computernetzteil geht nicht? das liefert 12V und kann dir die 80W auf alle fälle zur verfügung stellen.