I would not worry about the ps pump leaking since finding one with ps/ac options are hard to find.
Just plan on replacing it if do end up buying it. You can get a rebuilt one from an auto part with a lifetime warranty. Or finding a newer fj60 ps pump would work as well.