Aaron Judge had the best batting average in the AL in 2025, with an average of .331.

Who led the al in batting average with a minimum of 3.1 PA per team game in 2025?