To the best of my knowledge, that's the highest bond that's ever been set in Delaware County Municipal Court,
It's bigger than Delaware County. It's probably most of Central Ohio,