You do have a nice RS!
This is why pinball is getting so expensive. One guy has an abnormal sale then the new "standard" is what the guy just sold his for plus a $100 or two, hence all the pins for sale and still for sale.
You might be joking, might not be. I am certainly not the price po-po and I've sold some really expensive pins that aren't so expensive on the average. The problem is when supply is exceeding demand, yet the prices keep going up. The other problem is all the "bolt" on parts that people expect new prices for, color DMD, LEDs, toppers ect.
Another peeve is when a pin commands top dollar and has not been properly shopped. Everybody has their own definition of a shop job. To me, a shop job includes about 30 hours of labor, a complete strip of the playfield, parts cleaned, playfield buffed, new coils or sleeves and stops. Vacuumed out and wiped down with solvent. Switches adjusted, all new bulbs/leds, new rubbers and starposts, plastics straighten or replaced, bottom of playfield should have no coil dust residue when done, you should be able to wipe the inside of the cab with your hand and it come up clean. Shouldn't be dirt/dust build up on top of the head, in the vent holes or in the bottom of the backbox. Outside of cab should be cleaned with mild detergent using a damp cloth. The list can go on and on. Point is, pin should look as good as it can, play like it did when it came out and be impressive in mechanical/appearance when compared to others of the same title.