Discovery World for Milwaukee Makers Market (July 17)