That sounds a little high but not complete unreasonable for a quality job. It's around 300 dollars for high quality vinyl that won't sun fade or degrade, plus its a huge amount of labour to layout, properly centering and trimming around edges/body parts.