I would suggest a NetApp solution, but I have no idea whether any would fit in your budget (not knowing british currency values).
I am curious, though - why are you replacing the 6 node isilon solution - performance reasons, or something else? In my experience this should be a very robust solution - are there problems/issues that EMC has not been able to address?