That is WAY too much.
My neighbor had another contractor, less highly rated, charge him close to 3K last year.
The guys out here today have hundreds of raves on the net, so I at least hope I get my money’s worth.