Is this a reasonable price?

2020 Honda civic. Should I do it with them or with another mechanic? Any advice is appreciated!