My ballpark is somewhere between $400-$600 dependent on locale if you call around and past experience albeit long ago.
$800 seems way to high as the 4cyl is not terrible to change the belt on. If a mechanic has not done a Honda Civic or Accord timing belt something is really wrong as these cars have been in top 10 selling cars for years.