If they reflash the PCM, they are supposed to put a sticker under the hood that tells what strategy they installed. From what you have said, it isn't likely that they would go to the trouble of writing up a sticker. It sould be on any service paper work they gave you.