On Gunbroker, they typically go for closer to $800 new.
The Leupold is worth $300 if it is an FX-II.
Gunsmithing is worth something, then again, a lot of folks do the bedding themselves. Trigger job might be worth it, I take it, it is a trigger job - not a replacement trigger?
Harris can go from $60 to $85. The case is a nice case.
If the rifle truly has less than 100rds (not some burned out barrel)...then I'd say that is a fair to good deal depending on which model Leupold that is and how much the case costs.
Why are they selling it? Did it not meet the accuracy expectations? Person needs the money? Some guys shoot a rifle of this quality, get 1moa (which is fantastic) and sell it in disgust for a super high-dollar custom to get that 0.5moa people talk about on the internet. Hopefully it's one of those situations, and the rifle is not a lemon. You'll be surprised how many folks give up on a firearm quite fast because of internet hype. Then again, it all depends on their intentions or uses.
Good luck.