is that the right time to short $PIPPIN