Power supply for tk1

I was wondering what make and model the power supply adapter is that ships with the tk1? I seem to have misplaced mine and I’m looking to replace it.

There is a 12V-output adapter shipped with TK1 board.

Read my post.

Looks like it is this one. https://www.amazon.com/FSP-Group-Power-Adapter-FSP060-DBAE1/dp/B0097PFV76

But, provided the supply is of decent quality, is 12v, is the right plug, and can supply 2+ amps, it should work.