I paid $875 for mine with a board issue and a dead Amp and I'm not even a big Star Wars fan - I just like the game. I know I overpaid (by most of your standards), but I wanted it and didn't want to wait around for a cheaper one. Seller was willing to go lower with his spare working 6100 in it.
I fixed the board issue with parts I had on hand, and I'm currently using my spare 6100 until I get the Amp working. And truthfully, I kind of wanted to do an Amp restoration (I know, I'm insane).
Honestly, I'd be comfortable at $800 with a working 6100 and $1000 with a working Amp. I might be a little off base, but that game has a very high desirability.