I didn't know who got that set until now, but I'm glad to see you kept all of the extras that went with it They were mostly added as something some may have found neat to see at Expo, but I thought may wind up in the trash :p
The offers I got in an attempt to keep me from donating it to Project Pinball were higher than this, so I imagine someone got a good deal for this special set. According to the last post in the mod thread, the production sets may be selling for over $600 now (I couldn't find an archive on that to confirm).
I originally thought there would be online bidding (was considered, but didn't happen), so it wound up fetching less than expected for Project Pinball.
Seeing your photo, I notice I didn't account for the exposed wiring on the Pro model--on the Prem/LE, it's obscured with the Krang toy. I likely would have added some heat shrink to dress it up more like the Stern wiring, which may be worth doing if someone wanted to cut and resolder that connector (if it goes on a Pro anyway).