È finalmente la fine di $PIPPIN?