Just a very belated follow-up -- I was just notified that the forum moved/changed names so checked in. Back in January after receiving the crushed Dev brand gasket, and a refund, I re-used the old head gasket with the copper spray gasket stuff (Permatex? -- don't remember) per the discussion thread mentioned above here. That was totally successful, and I've run the genset several times since during power outages without a problem.
I'm sorry I didn't see the subsequent posts by @broncodriver99, @keith71, and 38ac, and thank you for responding after my last one. I should probably get another gasket as a spare.