The trigger can be replaced.
Cost is minimal if it gives you "peace of mind".
If you are mechanically inclined, you could do it yourself. Just remember that when removing material, you will have a heck of a time adding it back, if needed.
(and keep the Dremel away)
"A well regulated Militia, being necessary to the security of a free State, the right of the people to keep and bear Arms, shall not be infringed."
Life Member NRA
Life Member NAHC
Former President of the ECPT (Eifel Combat Pistol Team)