The Colt emblem is double stamped. Was that common?

If it shoots good, I’d love to have it, but I wouldn’t buy it for an original, factory price.