I don't think $2,500 is out of the realm of possibility, it will just take some patience. And being there 1st. Definitely could have gotten a set at the time I got mine for that price. Mine were untouched so the seller wanted more.

And think, they are much cheaper than Ram Air V heads. I've got a friend with an NOS set and he's turned down $8 or so.

I tried to get a set of NOS Buick Stage 2 heads but bowed out when I was countered at 10. Ended up with a bunch of blocks and assorted heads for a decent price.