It's not necessary. When buying with redBus, a digital ticket will arrive in your inbox. On the day of your trip, go to the terminal and look for the counter of the bus operator, present the e-ticket and the company will give you another.