Hi David,

I think you answered your own question :]
Pull the head and have a machine shop redo the valvetrain, mill, and
port&polish the head for about $400-450... and then you'll *know* the job
was done right. I trust dealer employees less than just about anyone.
Alternatively, you can buy a VTEC Integra head and associated hardware,
etc. for about $1000 :]
I know whenever something breaks on my cars, I consider it a perfect
opportunity for a performance upgrade.

Regards,

Jimi B