Yes that is a good price unless it is some el cheapo that I have never heard of.
The local Wal-Mart had cut the Colt (not sure what model but it was two toned and had a 16” barrel) from around $1200 to just over $800. I will say that it appeared to be a better than average Colt.
I’ll look next time and see what brand it is.