you might get hold of Tyros for �1600 but you will need the speaker pack to add anto this figure. I recently sold my Tyros which was of course now secondhand for �1650 including the speakers and Tyros stand.
The average price for a kn 7000 is around �1000. hope this helps.
Joe