I will assume the buyer needs to $2,000 towards closing and I would tell the agents to make the commission based on what you will net and not the gross. So if the listing is for 6% then you save 6% on the additional $2,000-$7,000, that could be as much as $420 in your pocket.
Are you sure the lender will allow a $5,000 credit for repairs? If so this may be easier for you as a seller since you won't need to hire contractors and inconvenience yourself with repairs. Also, you don't have to worry about the repairs not being up to the buyers standards. Now, if your going to save enough money by doing the hiring repairs yourself, then it may be worth it.
Both net you the same number however you may pay slightly more in fees with the higher price. In most cases, sellers need the cash or the work done, so it will really come down to what it takes to make the deal. If you have both options open, you may be slightly ahead on the lower price, but not enough to lose the deal over.