who led the al in batting average in 1980

George Brett had the highest batting average in the AL in 1980, with an average of .390.

Interpreted as:

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

	NAME	AVG	SEASON	TM	G	AB	R	H	2B	3B	HR	RBI	BB	HBP	SO	SB	CS	PA	TB	XBH	SH	SF	IBB	GIDP	OBP	SLG	OPS	WRC	WRAA	WOBA	WRC+	BRAA
1	George Brett G. Brett	.390	1980	KCR	117	449	87	175	33	9	24	118	58	1	22	15	6	515	298	66	0	7	16	11	.454	.664	1.118	120	62.7	.478	198	59.2
2	Cecil Cooper C. Cooper	.352	1980	MIL	153	622	96	219	33	4	25	122	39	2	42	17	6	678	335	62	7	8	15	16	.387	.539	.926	119	43	.403	151	40.7
3	Miguel Dilone M. Dilone	.341	1980	CLE	132	528	82	180	30	9	0	40	28	2	45	61	18	566	228	39	6	2	1	7	.375	.432	.807	82	18.4	.362	123	15.2
4	Mickey Rivers M. Rivers	.333	1980	TEX	147	630	96	210	32	6	7	60	20	1	34	18	7	661	275	45	6	4	1	4	.353	.437	.789	91	16.5	.353	119	15
5	Rod Carew R. Carew	.331	1980	CAL	144	540	74	179	34	7	3	59	59	1	38	23	15	612	236	44	9	3	7	15	.396	.437	.833	94	25	.373	132	22.9
6	Buddy Bell B. Bell	.329	1980	TEX	129	490	76	161	24	4	17	83	40	0	39	3	1	534	244	45	4	0	11	16	.379	.498	.877	87	26.9	.386	141	25.6
7	Willie Wilson W. Wilson	.326	1980	KCR	161	705	133	230	28	15	3	49	28	6	81	79	10	745	297	46	5	1	3	4	.357	.421	.778	100	16.3	.349	113	11.3
8	Al Oliver A. Oliver	.319	1980	TEX	163	656	96	209	43	3	19	117	39	5	47	5	7	709	315	65	1	8	9	14	.357	.480	.838	106	26.1	.368	129	24.5
9	Al Bumbry A. Bumbry	.318	1980	BAL	160	645	118	205	29	9	9	53	78	3	75	44	11	738	279	47	9	3	8	9	.392	.433	.825	111	28.6	.371	131	26.9
10	Bob Watson B. Watson	.307	1980	NYY	130	469	62	144	25	3	13	68	48	1	56	2	1	525	214	41	1	6	5	20	.368	.456	.825	77	18.6	.366	128	17.4
11	John Wathan J. Wathan	.305	1980	KCR	126	453	57	138	14	7	6	58	50	3	42	17	3	510	184	27	3	1	6	19	.377	.406	.783	70	12.9	.353	116	9.4
12	Paul Molitor P. Molitor	.304	1980	MIL	111	450	81	137	29	2	9	37	48	3	48	34	7	512	197	40	6	5	4	9	.372	.438	.809	74	16.5	.362	124	14.8
13	Ben Oglivie B. Oglivie	.304	1980	MIL	156	592	94	180	26	2	41	118	54	5	71	11	9	660	333	69	0	9	19	5	.362	.563	.925	113	38.8	.396	147	36.5
14	Mike Hargrove M. Hargrove	.304	1980	CLE	160	589	86	179	22	2	11	85	111	8	36	4	2	720	238	35	2	10	10	22	.415	.404	.819	110	29	.373	129	24.9
15	Ken Singleton K. Singleton	.304	1980	BAL	156	583	85	177	28	3	24	104	92	1	94	0	2	680	283	55	0	4	1	19	.397	.485	.882	116	39.6	.396	147	38
16	Rickey Henderson R. Henderson	.303	1980	OAK	158	591	111	179	22	4	9	53	117	5	54	100	26	722	236	35	6	3	7	6	.420	.399	.820	112	31.3	.377	137	31.2
17	John Castino J. Castino	.302	1980	MIN	150	546	67	165	17	7	13	64	29	0	67	7	5	599	235	37	21	3	1	15	.336	.430	.766	77	10.3	.343	107	4.9
18	Bruce Bochte B. Bochte	.300	1980	SEA	148	520	62	156	34	4	13	78	72	0	81	2	3	603	237	51	4	7	13	16	.381	.456	.836	90	22.3	.368	123	16.2
19	Alan Trammell A. Trammell	.300	1980	DET	146	560	107	168	21	5	9	65	69	3	63	12	12	652	226	35	13	7	2	10	.376	.404	.779	90	16.9	.354	115	11.7
20	Reggie Jackson R. Jackson	.300	1980	NYY	143	514	94	154	22	4	41	111	83	2	122	1	2	601	307	67	0	2	15	7	.398	.597	.995	118	50.5	.429	169	49.1
21	Eddie Murray E. Murray	.300	1980	BAL	158	621	100	186	36	2	32	116	54	2	71	7	2	683	322	70	0	6	10	18	.354	.519	.873	109	32.1	.381	138	30.5
22	Hal McRae H. McRae	.297	1980	KCR	124	489	73	145	39	5	14	83	29	8	56	10	2	532	236	58	0	6	4	13	.342	.483	.825	77	17.4	.363	122	13.8
23	Willie Randolph W. Randolph	.294	1980	NYY	138	513	99	151	23	7	7	46	119	2	45	30	5	642	209	37	5	3	4	6	.427	.407	.834	103	31.5	.384	140	30
24	Jim Rice J. Rice	.294	1980	BOS	124	504	81	148	22	6	24	86	30	4	87	8	3	542	254	52	1	3	5	16	.336	.504	.840	81	20.3	.369	121	13.6
25	Steve Kemp S. Kemp	.293	1980	DET	135	508	88	149	23	3	21	101	69	4	64	5	1	591	241	47	1	9	3	24	.376	.474	.851	93	26.5	.378	131	21.8