I'm trying to get an idea of what a used (1 or 2 year old) ctx3030 would go for? What would be a fair price for buying a used one thanks