¿Dump $PIPPIN hoy hacia $0.1 o no?