[HoustonHam] Power Supply for TS-130S

[Steve Ponder - N5WBI]

I will be purchasing a "gently used" TS-130S from
another ham.  What type of power supply do I need
for it?

The TS-130S Instruction Manual states ...

"The TS-130SE requires more than 18A at 13.8 VDC
when transmitting with full power.  Use the model
PS-30 power supply for fixed stations."

Since finding a functional PS-30 power supply might
be hard, what other power supplies would be compatible?
Would a switching power supply work?

How about ...

MFJ-4322 - regulated, switching, 13.8 VDC at 22 amps
surge, or 20 amps continuous? (List Price $99.95)

MFJ-4125 - regulated, switching, 13.8 VDC at 25 amps
surge, 22 amps continuous (List Price $109.95)

Kenwood KPS-15 - switching, 13.8 VDC at 25 amps surge,
or 23 amps continuous? (List Price $143.55)

Suggestions???

Thanks & 73,

Steve N5WBI
Houston TX