I would run the stock LED light string from a small DC-to-AC inverter - you wouldn't need a big one to run that small string. If you buy a bigger inverter, though, you could run radios, lamps, your razor, etc. Big picture - you might enjoy a 400watt 110v source in your tent.
Colo Springs, CO
'78 FJ40, '89 FJ62, '98 4Runner