Thanks everyone. As far as local codes, I guess I should have mentioned
that I am in unincorporated Dade County, FL. Though they are at least
one version behind (I think two as of this year), Dade County has
adopted the NEC codes with one or two minor exceptions.