I believe this machine has been up on ebay and was sold once before, but for less money, around the $2800 mark from memory.
Re the mods, I have 2 x Star Trek Next Gen Pinball machines, and both are stock as a rock. I like original, untouched personally.
I think there is something great about walking into a room, and looking at apinball machine, the same exact way it would have been seen 5 minutes after coming off the production line all those years ago. I like Toppers to dress up a machine, but playing with stuff on the playfield is sort of weird territory for some collectors.
I also am a great fan of Star Trek Collectables, and have a large room full of all brand new stuff which goes up in value every year BUT I think these mods look a little cheesy.
You can buy most of these mods off ebay for between $5 to $25 each if u want to go that way, but as long as it can be removed later if u want original again.
Dont get me wrong, if they are removable, there is no big deal in putting them on if thats what floats ya boat, but i feel it clutters the machine up a bit.
Its a personal thing i guess. Lets see what the other guys think.