This is not exactly what you are looking for but you may want to check this out, too. there are DTHs that expose additional configuration options for the GE dimmers (e.g. change dim speed):
The configuration is actually stored in the switch, not in Smartthings… so you can revert to whatever DTH you want to use when you set the configuration you like.