No-no that $20-$25 K was a regular street price based on reality. And IMHO, that could be high, because I think there issues we can't see in the pictures.
Barrett Jackson is not reality.
My estimate for Barrett Jackson would be $37,200 for some idiot buyer or the owner to buy it back.