I would guess round $1100 or $1200 I've seen some on ebay not even get a bid at 1600.
I think I would rather buy a new psr 3000 than a used tyros1. New psr 3000 goes for between 1350 and 1499.
I would try ebay, if no one bids you know you're asking too much.
How much do you want?