Does a 12.5 inch AR-10 makes sense?