'$928M for UTexas Austin’s ARL