Can’t say I know exactly, I think I got it at Walmart in the scratch and dent section.  I will take a look and see if I can get you a make & model for the 12V one.  I actually have two heaters, the 12v and a 115VAC one that I use when shore or generator power is available.  I have a AC power “through-hull” that has a 18” pigtail cord on the inside.  I plugged in a every day power strip into that and the battery charger into the power strip.  Then if I need 115v for something, such as the heater, I just plug it into the power strip.  The power strip is just tucked under the camper mattress but I probably should Velcro it to the underside of the galley deck.