I found out that it is in fact a SOHC so we'll be using the Honda belt #14400-PM6-004 (we don't use the Gates belts).
THANK YOU very much for the info!
Now, about the timing marks: is it normal for the timing marks to not line up? The mechanic said:
"When the crank pulley is lined up, the cam is too far off for the car to be running as good as it does."
Is this normal on the ZC engine?