I'll go out on a limb here and wager that SpaceX engineers know the Mach value for various permutations of temperature and air density. But I might be wrong...