Never caught one through the ice, but I don't try for them in either soft or hard water. Caught a couple slightly over 8lbs on Erie in open water with my grand father many years ago, but that is not big at all for erie. Get some smaller ones 16-22" in the St. Joe on occassion when fishing for bass. Did catch one about 26" out of Magician lake in Michigan during a bass tournament that went about 6lbs.
I would say you've caught one through the ice.
That was a team effort if I've ever seen one.
The one in my avatar is 9lb 4oz and 28.5" through the ice. We don't target them, but sometimes you're just in the right place at the right time like me, wax_worm and Slabgill