I thought those were T25's? He might have upgraded to a 16G. In either case, either will work with some ingenuity.