I would get a price from another shop. To me it seems a little high, but then the guy I used to work for didnt like to overcharge his customers either. What color is it BTW, cause that does affect price. ANd since its only faded, I do not see any reason why it needs to be stripped to bare metal. Maybe just sand down to primer coat(if that), reprime then paint.