ws4000 and ws4050 for sale