No, no replacement part.

"Repairing" was actually just verifying that there was no difference in continuency between the jack's three pins when plugging/unplugging (switch not working), and then desoldering the jack, only to discover that it was now working (continuency between the "AC-mode" and negative pins with no plug in the jack)

All this about the pins and continuency is just my interpretation of how it is supposed to work, by the way :-). It would be interesting to get that sorted out by someone who knows.

Plugging/unplugging was "working" after the jack was soldered back to the board. And I'm pretty sure that there wasn't a short between the positive and negative.

But, I obviously managed to do something bad. When I get to it I will take it appart and look for obvious shorts and then try with a new power supply. Or perhaps with a 12V battery using the docking connector, first.