// eefw-security-173-start Vegas Hero Casino – Dallas Area Municipal Authority