hat ja glaub ich eine eingangsspannung bis 14,5 V, oder? hast du evtl. daten vom netzteil? wieviel brauch die hd? am itps ist kein rechner darn?? dann gehts sicher. aber so ein wandler kostet nich die welt... und du kannst ihn genau auf die spannung einstellen.