Has $PIPPIN already given up? Retail investors can do whatever they want?