The hourly tides (in feet) on a recent day in Seattle, Washington, can be modeled using the
sinusoidal function y = -4.5cos(pi *x/6) + 5, where the height (y) is a function of time (x).
At midnight x = 0. What is the water level at high tide?