According to http://dummy.us.eu.org/robert/archives/personal/2013/msg01225.html , it looks like the check won't be sent 'til Aug 7. So! There's no point to going to the post office today. I guess I'm just going crazy, along with memory loss...