It’s pretty much the universal standard to have the centre positive. I can’t find it mentioned in the listing so if you buy them use a multimeter to verify before plugging it into something.
I saw some on Amazon too but nothing that outputs 12 volts yet. I lack the patience to wait for AliExpress. I’ll keep hunting!
A plug like this should fit in the back of the Digi’s and only needs a usb-c cable + pd compatible power bank or wall wart.
I did notice the shipping fees differ a lot amongst sellers but the total price for a plug delivered is around $5 – not too bad if you can wait.