I just have a question about how Pinside values the various pinball machines. I noticed that all 3 of the pinball machines I've purchased have had a fixed value for over a year here on Pinside, never fluctuating despite there being lots of market activity on each one of them. Do the values get updated as more machines process through the market, or are they pretty much just set and never change? I know these values are merely guides, but since they're there I'm curious how they work. Thanks for any insight!