Shrinking the city’s largest hotel would fly in the face of assertions that Downtown Milwaukee needs more rooms. But it’s not ...