Нужно ли распечатывать электронные билеты в театр Щепкина?

Добрый день! Купили электронные билеты в театр Щепкина. Их нужно распечатывать?