calculate productID always in JCMT collection, warn if different from PRODID