You can search sold auctions to get an idea for what things actually sell for. I saw the majority of 5800x3d selling for ~$500 so this looks to be mostly true to me.