Thanks!
This shouldn't be too costly of a repair if everything goes well. The pump, coolant and a serpentine belt is just $62 at advance auto after using a $35 coupon code I found online. The current belt has 50k miles so I might as well replace it since it will be off anyway.