Hi Bruce,
What is the switch serial number? it's available from the "show inventory " cli command (chassis).
regarding no response from Mellanox, that means that you even didn't receive any initial email with a case number or something of this sort?