We have just been through this scenario. It is illegal to shorten the barrel to less than 457mm, however, it is legal to fit a factory-manufactured "shorter than 457mm" barrel. We recently did a documented manufacture of an 11.5" AR barrel to show that it was manufactured and not shortened from 457mm.