You can look at all the old adds here - https://pinside.com/pinball/market/classifieds/archive?s=1&radius_latitude=42.773794323925&radius_longitude=-78.689231872559&keywords=&ad_machine_key=470&ad_condition=0&machine_type=&ad_machine_manuf=&year_from=&year_to=&radius_distancekm=0&sort_by=ad_end_date&sort_order=DESC#results

That game looks to be maybe 1700$ max in players condition. So to bluntly answer your question, unless you love the game, money isn't an object and it's your grail pin you'd be crazy to spend that much on it. You're more than capable of replacing the bulbs on your own. If you can replace your household lights, you can do a pin. Wipe down topside yourself. Again not hard. Dont even have to strip the machine if you want to. Play it. Get comfy and when you feel bold if you can manage to operate a screw driver - take the plastics off and replace the rubber. Not sure what "checking the boards" entails..but if the game operates you're paying someone to look at them. That doesn't compute at all. Again my .02. Good luck and welcome to the hobby

No worries. Seems daunting looking at it but it's not. Be sure the power is off. Make sure you screw the bulbs in all the way. Really simple. Wet rag - wipe all that black crap off. Or novus polish. If there were board issues the game would be malfunctioning. You can look at it yourself. If any of the capacitors look swollen. Send it out. Check the batteries and replace them. If you're careful doing so w/the power on will ensure high scores remain. If you dont care, power off. Many will tell you the proper way to shop it is replace bulbs. strip the top side, wipe it down, replace all the rubber and put it back together. Pay attention to detail - what screw came from where, what was on top of what and you can do it yourself. Rubbers are like rubber bands. Yea sure..may take you a couple hrs. But 2200 bucks - hell no.

Didnt even sound like a full resto. That initial post was a 2200 shop job.