No public document in this case mentions this record yet.
Join the discussion about Diamond, OH today.