[budde]

The Puget Sound population is actually 4.2 million as of 2012 [1], assuredly a bit larger now. I'd call it a moderately-large metro area.

[1] https://en.wikipedia.org/wiki/Puget_Sound_region