go with #1. fix it yourself. it's wouldn't be the first receiver i've seen with bolt catch issues.