OP is a great guy in the pinball community.
There is nothing wrong with trying to get the most for a machine in your collection based on a recent sale. Whether or not it actually happens is a different story.
I am just curious who came up with the 25K number from the original transaction? Maybe this was some sort of charity agreement. We do not know the circumstances. We all know that any pinball machine in this price range is not intended for the hobby collectors market. If so, we would all have 1 machine in our collections. The market data does not support such a high number for Tron LE or really anything besides these JJ machines (until this seemingly outlier). The pinball hobby has become crazy and people are putting values on machines we have never seen. Anyway, good luck to every seller and buyer. Probably best to cash out now lol.