I too think it is a little high. I bought my 4Mb STE from ebay for 35 GBP including shipping about two years ago!.
For this price I would expect cubase bundled. or it to be boxed with original poly inserts.
Be careful about the watchers. Most of them could be people with STE's wanting to sell theirs and looking for successful listings and not to bid.