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