I'm going to say 3800 would be a good deal as well. If it's a local deal you may go a bit more. These are going up in price so you should do well in that range.
Great to see you're enjoying Pinside! Did you know Pinside is able to run thanks to donations from our visitors? Please donate to Pinside, support the site and get anext to your username to show for it! Donate to Pinside