I had the same symptom you describe. In my case it was a combination of all three items. I have yet to replace the cam plugs, since that is more involved. If you're lucky whoever did you belt job would have also done that at the same time. If not, the dealer will want ~$1200 for that service.
The spool valves/vtec solenoid gasket is not a big deal. I'd owned my NSX for all of a month when I did it, and did not run into any serious obstacles. You just need to replace the gasket, not the valve/hardware.
I second Nikey22's suggestion on the sequence of things to do.
Do the spool valves first since that is easy and cheap. then clean everything off around that area with some simple green or equivalent, and see if that's fixed the problem.
If not, then explore the cam plug thing.