Good to see it was just fluid, unusual that the HICAS light never came on???
Was going to say if it was the pump try make a distinguishing mark on the pump so u can tell if it is a new pump or just your one recoed, seen it done before charging for a new pump & the old pump has just had a seal kit put through it.
Give u a idea your looking at around $50 for a seal kit & about 1/2 hr to a hour to pull the pump down & rebuild it, so say $150 - $200 all done, with new pump say around $450 - $500...
Some thing to keep in mind...