Just looking at lights, radio/music (old car head unit) the odd power tool (presently mostly all mains) maybe a wee fridge.
Looks like I could use either but led lights are cheapest for 240v and I already have 12v adaptors for the radio.
It's only 10m from the house, so running a mains lead is easy, best to keep it that way?