$4k would be a good price to get it. These games are not well discounted once on the market (usually get a good price pre-order) unless its a dud and then it takes a few months for that to happen.
Best place for a 'bargin' is the resale market. Never buy pins retail Tho the site listed here, is one of the best places to order from for solid price. His price for pre-orders was $4000, but now that they are shipping, price will be higher.