I have a buddy that wants to build an AR that shoots X39 Ammo. What are his options? Any feedback would be great.