W5 Heads for sale.. how much are they worth?

got out of the W5 game back in 12.... sold this top end w/t the Indy intake for $3500. Haven't seen too many Ebrock heads going 9.8's....