You couldn’t use RedStar anyway. It blocks internet access and isn’t officially available. The only copies around are leaked copies.