If Carson is his current permanent duty station, then he is a resident of Colorado, no problem FTF, even without Colorado ID.

FFLs would need to see a copy of his PCS orders, and phone in the NICS check rather than do it over the computer, but the check will usually go through.