Do they come with manual and box? What sort of price do you think is fair?