Sounds like a great trip and thanks for the report.
If you go back again in the summer and stay at Potawatomi, fish the shoreline at night of the park if you can get to it. You can get some big walleye there as they come up to feed at night. Sometimes they're there, sometimes not. Start several hundred yards south of the boat ramps. Try casting husky jerks, lipless crankbaits, or small crankbaits. Experiment with retrieves.
People troll the area but I've had success at night from a boat casting down the shoreline. There's a deep drop right off of shore.