I thought so too. In any case, I have ordered a number of diodes (1N5817) with 20V reverse voltage that I should be able to use to replace the damaged original diodes - the originals are surface mount but relatively large and I think I can remove and replace - it won’t be pretty but hopefully will allow for recovery of the functionality of the external battery power connection with reverse polarity protection.