Clear the Bonus or Skip It: Playing Magic Red on Your Own Terms