I have these 3 Pentium Pro gold top 200MHz CPUs that I will never have any use for.

If I sell them on eBay, what is a reasonable price for them, and would I be better off selling them individually or as a lot?

I have no way to test them so I don't know if they work or not. When I got them one had a couple bent pins which I fixed, but other than that they're completely intact.