To clear some things up, here are the all-time Ohio HS lists.
Girls
1600 meters ( * = mile time X 99.42%)
4:41.9* Ann Henderson Broadview Hts. Brecksville 1978
4:45.4* Maggie Infield Clev. Hts. Beaumont 2004
4:45.68 Bridget Franek Matua Crestwood 2005
4:47.9* Darcy Tomlinson Sherwood Fairview 1978
4:48.20 Sunni Olding Minster 2004
4:48.59 Laurie Gomez Yng. Boardman 1988
4:50.34 Kristy Orre Clayton Northmont 1985
4:50.4 Katie Radkewich Clev. Hts. Beaumont 1996
4:50.68 Kristin Jumer Centerville 1999
4:51.3 Connie Jo Robinson Reading 1982
4:51.5* Marie Kastrup Kettering Striders TC 1976
4:51.96 Michelle Sykes Lakewood 2002
4:53.55 Kim Betz Cin. Turpin 1986
4:53.56 Jenny Morgan Barnesville 2004
4:53.82 Emily Halm Massilon Jackson 2000
4:53.89 Lindsay Zinn Lakota East 2001
4:53.92 Nicole LaSelle Dayt. Chaminade-Julienne 1996
4:54.12 Lauren Clark Dublin Coffman 1998
4:54.23 Amy McKinley Amherst Steele 1993
4:54.34 Michelle Kalikin Olmsted Falls 1985
4:54.3* Brenda Webb Kettering Striders TC 1971
4:54.8* Shannon Cline Upper Arlington 1979
4:55.2 Maureen Ferris Rocky River Magnificat 1993
4:55.29 Misty Allison Chillicothe 1989
4:55.64 Patty Metzler N. Jackson Jackson-Milton 1983
3200 meters (* = 2 mile time X 99.42%)
10:10.4* Ann Henderson Broadview Hts. Brecksville 1979
10:17.33 Katy Radkewich Clev. Hts. Beaumont 1996
10:19.9 Kristy Orre Clayton Northmont 1985
10:20.6* Sunni Olding Minster 2004
10:24.8* Laura Craven Col. Beechcroft 1981
10:25.0 Bridget Franek Mantua Crestwood 2004
10:27.6* Jenny Morgan Barnesville 2003
10:28.8 Laurie Gomez Yng. Boardman 1988
10:30.1* Brenda Webb Kettering Striders TC 1973
10:32.0 Nicole LaSelle Dayt. Chamindae-Julienne 1996
10:32.91 Jackie Conrad Marysville 1996
10:33.0* Mary Jean Wright Easy Striders TC 1979
10:35.0* Michelle Sykes Lakewood 2002
10:37.6 Lindsi Gay Reynoldsburg 1999
10:38.71 Kim Haluscak Olmsted Falls 1988
10:39.44 Kris Roth Celina 2001
10:39.45 Laurie Sturgell Clev. Hts. Beaumont 1996
10:41.92 Emily Hood Thomas Worthington 1993
10:42.5 Amy McKinley Amherst Steele 1993
10:44.07 Angela Bizzari Mason 2004
10:44.53 Karen Rayle Oxford Talawanda 1986
10:44.85 Dawn Wallace Galloway Westland 1986
10:45.59 Anne Densmore Elyria 1985
10:45.66 Pam Kerth Cin. McAuley 1984
10:46.68 Sarah Leeper Loveland 2004
Boys
1600 meters ( * = mile time X 99.42%)
4:02.4* John Zishka Lancaster 1980
4:04.5* Ron Addison Clev. Rhodes 1972
4:05.13 Bob Kennedy Westerville North 1988
4:04.6* Jeff See Middletown 2003
4:06.0* Mason Ward unattached (Cincinatti) 2000
4:07.1* Reggie McAfee Cin. Courter Tech 1969
4:07.1* Darrell Hughes Galloway Westland 1991
4:07.7 Mike Hallabrin Mans. Malabar 1980
4:08.03 Scott Fry Sandusky Perkins 1985
4:08.2* Alan Scharsu Yng. Austintown-Fitch 1978
4:08.4* Tom Rapp Trotwood-Madison 1977
4:08.6* Todd Saul Clayton Northmont 1981
4:08.70 Jesse Rodenbaugh Oxford Talawanda 2001
4:09.10 Rob Myers Lancaster Fairfield Union 1999
4:09.54 Christian Nichols Hilliard Davidson 2003
4:10.06 Jerry Claunch Liberty Twp Lakota East 2000
4:10.14 Doug Bockenstette Cin. LaSalle 1994
4:10.6* Chris Kollar Strongsville 2003
4:10.78 Mark Croghan Greensburg Green 1986
4:11.32 Kevin Sheward Cant. McKinley 1985
4:11.34 Dean Monske Tol. DeVilbiss 1982
4:11.46 Jason Mueller Shelby 1999
4:11.49 Steve Padgett Cin. LaSalle 2000
4:11.79 Jim Hedrick West Chester Lakota 1985
4:11.89 Rollie Hudson Cleveland Heights 1984
3200 meters (* = 2 mile time X 99.42%)
8:41.0* Alan Scharsu Yng. Austintown-Fitch 1978
8:46.3 Ricky Pittman Clev. East Tech 1980
8:46.7 Scott Fry Sandusky Perkins 1985
8:49.1 John Zishka Lancaster 1980
8:54.90 Steve Padgett unattached (Cincinatti) 2000
8:55.3* Bob Bentz Lisbon Beaver 1972
8:56.2* Pete Kummant Amherst Steele 1975
8:56.35 Chris Kollar Strongsville 2003
8:57.5* George Nicholas Dayt. Meadowdale 1981
8:58.5* Les Nagy Niles McKinley 1970
8:59.1* Tom Rapp Trotwood-Madison 1977
8:59.9* Bill Beaty Lancaster 1970
9:01.0* Jeremy White Dublin 1993
9:01.2* Andy Smith Hudson 2000
9:02.2* Jason Mueller Shelby 1999
9:03.25 Doug Bockenstette Cin. LaSalle 1994
9:03.61 Wesley Smith Hudson 2003
9:03.6* Ron Addison Clev. Rhodes 1972
9:04.2* Glen Wilburn Amherst Steele 1972
9:04.6* Dean Fulmer Cin. LaSalle 1995
9:05.33 Allen Bader Cin. LaSalle 2002
9:06.0* Jay Anstaett Upper Arlington 1974
9:06.20 Dan Franek Chagrin Falls Kenston 1984
9:06.84 John Ealy Reynoldsburg 2004
9:09.06 Andy Herr Berea 1983
The OHSAA's requirements for official records are a bit stringent, and I understand that a state association is going to be that way. Still, if Ann Henderson ran faster than the 3200m record while going further than 3200m and did it in OHSAA competition, somebody down there in Columbus just doesn't get it.