I always have had a rider to my homeowners for my guns. i think my basic policy would only cover $5000 dollars worth. that wouldn't even get close to there value.
glad you caught it before anything could have happened.