Weren't they about $850 in 1985? If so, that would be about $2,000 today.