Last week he turned in the key because he just leaves the door unlocked as he comes and goes.Is that grounds enough to just lock him out or do I have to proceed with court?

@David M. good catch on the foreign parents, I missed that, but are you sure about not having to declare? 

You need to build a case in writing in the event that this leads to a worst case scenario of having to go to court.

Talk to a qualified CPA or EA and let them know your whole picture (way too many variables come into play here) to make sure you are declaring your interest legally and in the most beneficial manner.

It was I who got nervous and went on court site and looked it up, found the cases and informed my attorney who did not have much to say beyond "You sure you want to get the house before the tenants get out?".

In most CC&Rs/states, a 67% vote is required to amend the declaration and when "use" is affected, a 90% vote is required.

In a state with a fair court system, this should have been wrapped up in 90 days or less.

The ONLY way to regain legal rights to your property is the eviction process that involves courts.

the future side of this is still an unknown quantity so its a risk that should be evaluated carefully.There are also several bills currently proposed in WA legislature which are likely to pass in some form or other which will substantially affect your situation - look at SB 5139 - "temporary" rent control   and SB 5160 - extending COVID protections for 2 YEARS past end of declared emergency,   payment plans based on "tenants ability to pay"  and blocking use of eviction and payment history in tenant screening  (!!!!) 

Don't take to me to the bank or court on that one.