そして...結局、$PENGU はどうなったのでしょうか、売るのか、それとも維持するのか？