How to power Christmas lights

I have a club car with a cloud energy lithium battery in it. Kids want to decorate our golf cart for Halloween. I’ve been reading I need a power inverter to power the lights. I don’t have a cigarette lighter port in my cart. What power inverter do you guys recommend?