$PIPPIN 0.58888This number clearly feels like the top, and it can be shorted.