You got a good deal. Looks like the plastics have been replaced and the playfield recently rerubbered. Swapping those plastics can be a 2-3 hour job and $140 expense
Also visit here for the pinbot fan club:
https://pinside.com/pinball/forum/topic/pinbot-fans-and-owners-club
Mike V