I recall that one of their products (I think it was "Orville" or "Eclipse") was about $4000 .
Don't think of getting one if you're not seriously into harmonizing , or you have some money to waste.
BTW , John Petrucci has got almost all of their product !