Great story. Robin Williams is a patriot.