Spanish mistranslation? 

In the introduction, Guzmán is referred to as a "luchador enmascarado", which is then translated as "professional wrestler" in English. However, "to mask" in Spanish is "enmascarar", and therefore "enmascarado" would be more along the lines of "masked". He should then be a masked wrestler rather than a professional wrestler. Should this be changed, or is this some kind of wrestling slang where someone that is masked is a professional?