Seattle's revenues went from $2.6B in 2007 to $3.8B in 2017, presumably thanks to the tech boom. They can fully fund the extra $200M needed out of that $1.2B windfall. It would be instructive to see what other expenditures were deemed a higher priority.