That's the normal process. Did they use a wideband O2 sensor for readings? Did they give you a print out? If they got it to the 12s at 6500 you're good for any track.
Chuck