How many buckets would it take to fill Mirror Lake? Down the drain. Ohio State students waited three years for Mirror Lake to reopen following construction, itching at the chance to once again jum…