I would think so too. Especially after the fluid test changed color. The truck has 120k miles.
However before it broke the belt, if we drove it for a mile and came back the system was pressurized and the tank would remain pressurized even 3 days later.
Just surprised that after the belt broke...