Well thank you.
That is a relief. I filed mid-October, but still haven't received the refund. Was wondering if I had screwed things up by not-declaring.
