Price is in the ballpark. Other quotes can beat it, but be sure they are experienced with this job. A good idea to check one or two Honda dealers also. Sometimes they have deals on timing belt jobs that equal nearby independent shops.
I’d recommend using Honda coolant when refilling and changing the radiator hoses if the current ones look like the originals.