I purchased a Philips inverter on a Woot-off a while back. It says DC12V to AC115V 80W on the back. It fits in my cigarette lighter, is about 3" square plus the plug-in protrusion. I'm traveling AA ORD-PVG on 777, and, hopefully, thanks to Seatguru, have a seat with power. And, thanks to this forum, I understand AA has regular cigarette lighter type outlets. My question is whether this will be large enough to power an HP mini 1035. Or, should I run on battery and recharge when computer powered down? I can't find the watts anywhere on the computer. One of the plugs on the brick says 125W, but even with 3.25 readers over my glasses ( ) I can't read the small print on the brick.
If I do it today, I can buy the igo everywhere 85 that ScottC referred to in the sticky inflight power knowledge compendium. Both the review he did
and Amazon confirm that it will power a notebook, and it's wattage is no higher than the Phillips. But, it looks a little sleeker, and I've noticed the Philips runs hot when I used it to charge my cell phone when I broke my regular car charger. Any advice?

It should work. I can't believe a netbook would require 125 W - that might just be a rating. Get a magnifying glass! Airline power sockets usually have a limit of 75W.