I forgot I'm already bidding on a copy that has the manual, game, case and no extra inserts for $6 (winning so far)... and that auction ends before the BIN does. So we'll see what happens in a few days.
Thanks for the input!
I'm looking into Pokemon Pinball (the one with Pikachu on the front), but the prices are all over the place for it. Hopefully I won't have to pay over $15 for that one, but I keep seeing it for $25+ so far. It's got a Rumble Pak - do those have a tendency to stop working?