How much does AR10 go for these days?