Was thinking about getting the Dewalt model DC011 radio. I see that the product description says it has an auxillary port for other devices. Just wondered is this basically the cigarette lighter type plug or is it something else? Just want to know if I can plug the satellite radio power supply into the plug. Gotta have my talk radio during the day.