Ah, gotcha. I am guessing you guess the spelling is "miyanhae" because of the "-ha" ending in the more formal version.

The textbook did cover formality just a bit in the intro! Enough to confirm that "-sumida/ka" is very deferential. But I suspect like most intro textbooks, casual speak will be introduced in intermediate levels for precisely the reason you mention ;).