At this point, I am trying to decide if I just simply sell everything I own and be done with pinball or just hold on. If holding on, one thing is for certain...I wish I hadn't ever sold any pin (well, except maybe for a few). I'd have an enormous collection at way below market level investment.