I have no idea but it is being covered by NPR. I just thought it was absurdly amusing and very impacting if ruled in his favor.
In other news, I will get my retirement benefits now that I just jumped to age 99000; Social Security owes me a lot in back payments.