http://search.digikey.com/scripts/Dk...?name=AS212-ND
Whatever you do, get a quality OEM looking cigarette lighter plug. For example, like the one above.
A whopping $2.66! For that price, you could put in two...
I would recommend getting power off the existing cigarette lighter.