Greetings to all. Need advice. Friend is selling his Colt DE, been fired, but can't tell it by looking. Have read somewhere in this forum about weak springs and damage to pistol because of this. What should I look for? Should original springs be replaced? If so, what should they be replaced with? Is $500.00 a fair price? Thanks to all, really love this place!