mike, have you spilled any gas on the cladding since? does it leave discolored marks?