orange peel can be buffed out.

If it is really really that bad. Just hit it with some 600 grit sand paper. But make sure not to go throu. That way you get the peel out and then you can just clear back over it. Would look good as new.