9200RPM

My girl has a 98 DX civic....She wants to be faster and I dont want to sink a lot of cash in to doin it. Therefore which VTEC head and timming belt should I use. I already have an OBD II ecu, so that part is taken care of. I was also thinking about take the new head to RZL Engineering in Concord, NC to have it cleaned up and get all the power I can get out of it, maybe do a performance cam, and a few other things.... Any help would be greatly appreciated... Thanks

Cameron