The good news is these rifles are actually owned by the US, unlike the Korean ones that got so much press a few years back.
This means the import bans don't apply as they are US property. Don't think we will see these rifles anytime soon due to the process the CMP uses to get them right for their customers.
.