I have one, and I like it.
The pedal was 3 months old and almost not used, so it was almost new, and I payed 200 euros for it.
I've never played a 7000 or 9000 pedal, so I can't compare it.
Bram
5000 discontinued? Are you sure about that?Point is, the 4000 is a single chain whereas the (now discontinued) 5000 series and above are all double chain and are more reliable as well as a better feel.
I would at least get a 3000 that can be upgraded as more money rolls in, or throw down the cash for a 5000 and have a quality pedal from the start.