Yes, I would trust that Calibre got it right. My point was that the various file extensions don't necessarily give you good clues. Topaz files can be delivered as .azw .azw1 .prc or .tgz. If you're not sure, the quickest most reliable test is to open it in a text editor and verify the header.