IT depends.
Are they original Walsh 5s? Or newer Walsh 5 mk II, mk III, or latest 5000?
Also what cabinets, any other special customizations?
Any of these are good values for the right used price. ORiginal 5s should cost <$1000 normally I would expect.
New 5000s list at $6500. Not cheap, but still very good value for what you get.
My 5 mkIIIs in refurbed F cabinets (in my system pic) ended up costing me ~ $2400 direct from OHM. New 5 mkIIIs at the time listed for $6000. These used refurbed cabinets, were on summer sale to start, and I traded in two pair of old OHMs for the full value offered in addition.