No help from utube, FSM, etc. We finally got the thing out, the new one back in. I can tell you that it involves various 1/4 to 3/8 and 3/8 to 1/4 adapters, looong extensions, an air wrench to remove and replace the pulley which has to be removed before the pump will come out and which cannot be reached until the pump is unbolted and removed from behind the frame. Takes minimum of two people and two lights as well. Figure about 6 hours maybe.
Just getting the belt out of this thing is a challenge.
There will NOT be Hyundai in my fleet.