Your post about the DC plug by the DVD player got me thinking. On. My AS they replaced it with a round USB plug with two ports. There are two of these in the bedroom on the front of the worlds smallest night stand. I found that they are 12 Volt
DC to 5 volt DC converters for charging phones etc. They are fed by heavy DC Romex from the main panel. I found DC/Cigarette plugs the same size online. A little wire crimping and I will have a DC plug right by the bed!