I just use #'s. I only have to report one or two timezones, so I have no need for this sort of complication, so Im not a taker, sorry.

Here are the tables.
MySQL :: Time zone description tables

You can open a supprt ticket and give that link then make a request to have it installed in the mysql DB.