Registro: $PUMP se lanzará el 12 de julio. No voy a unirme al bullicio de la apertura, ni a especular si se regará directamente o primero se elevará y luego se regará, de todos modos hay que regar. Si hay oportunidad más adelante, hacer un rebote después del riego es un poco más seguro.