Add mike_pizza's tux.sts level3 writeup