whats the cheapest 4090 youve seen so far?

i think ive seen one on ebay for 1,000 but was skeptical. how about you?