And when I bought the car, I couldn't even find Warco ATF anywhere as most shopkeepers said it's not made anymore and has been replaced by a "copy" of Warco, I didn't even bother finding out the brand name. Most shops don't even have genuine PS fluid.
BTW, what are the symptoms of a failing PS pump?