Sounds about right when you consider parts, labor, paint supplies, paint labor, and tax all added in. Its been over a month ago so I assume this is done with, but did you get an itemized repair bill to see how it added up to that much?
I deal with 911 Collision on Euclid on almost a daily basis and I like their service and quality. I doubt they would be cheaper though.
Not too big of deal since your insurance can pay for it instead.