Put the old pulley on the new pump in the parking lot, returned the puller/installer.
All done in two trips. Plus errands with GF this trip.
With fluid and hand cleaner and pump, was about 82-ish dollars. Now to get it back on. Probably wait until tomorrow.