A friend of mine is looking for a AR15 bull barrel. Having a hard time finding one in stock does anybody know off one or know anybody who has one in stock?