You've got it right. The ''thingy'' is either the cigarette lighter receptacle or another ''outlet'' that looks just like the old lighter outlets. New cars seem to have several of these mounted all over the place--mine has at least three that I have found. I didn't look just now, but I think the little hinged cover on each of mine sez something like ''portal,'' or maybe ''12v.''
And the male ''plug-in'' device is available at Radio Shack or possibly even at Ace Hardware for several bucks.
Go for it!
Still caveat: When you burn down that
Surfside, the insurance company probably won't be able to find a new one--heavens, you might have to settle for a Casita! Really, don't worry, you're working with low-vo, and should have no problem with your fun project. Like Eric said, when at Radio Shack, get a little in-line fuse holder and a 2 amp. fuse--that is, unless you really do want a new
Casita.:winky
Having said all that, you can go down to Wally's and buy a new string of corny RV holiday
lights for $10, about the same as you're prepared to spend at Radio Shack.