I'd be surprised if he sells it for $300. They do sell for between $200-$300 on ebay, depending on components. Are those 105? I sold a '93 with RX100 components for $225 last summer on CL in the NYC metro market. But I had completely overhauled mine.

Mine was also red, which I think makes an easier sale. Baby blue just isn't very fast looking and those graphics..well...