A $7500 claim costs $75 to file. Even a $1500 claim costs $30 to file, and also costs a lot of time and energy.
Negotiate if possible and don’t be afraid to mention the possibility of a small claims suit. I don’t think you’d actually win the suit, but its a win-win for both of you to avoid court. Try to keep it relatively friendly.