¿Es ese el momento adecuado para vender en corto $PIPPIN?