The GEICO Gecko's name is "Martin"

It seems he was created during an actor's strike that prevented actors from being in TV commercials. Yet Kelsey Grammer was his original voice. Kelsey the scab? Or was voice only not considered acting, and allowed?