Any decent repair place will be higher than 4,000 is my thought if they use genuine Nissan parts.
Car repair done right is expensive.