You are correct - in part.
They do offer to OOS (Purple & Gold) but not to International - so it should be removed from the student’s list.
A college like Alabama, as an example, would be a good sub, as the student would qualify for the same merit aid as a US student - a US student would be about $20K so international a bit more (health insurance, etc.). Alabama is one of the few schools I found that give similar scholarships to International and OOS. There’s another potential $6K on top of the auto merit through a competitive scholarship program.
From UW:
The UW Office of Student Financial Aid does not offer any type of scholarship, grant or other form of aid to international students studying in the U.S. However, there are other ways for international students to fund their studies.
There may be funding support offered by your own government, or by other organizations, corporations or institutions. Additionally, your academic department may have information regarding specific scholarships and/or funding options available for its majors and minors.
Remember to give yourself plenty of time to research and apply for scholarships, as they tend to be competitive.
Here is the Alabama Scholarship info for international: