I would like to see the name change/ticker change happen before the launch as well. The confusion over the Punch brand feels like a ball and chain on the PPS.
