Yeah, I would do the extension to allow a little more time to see what shakes out. But then again, If he only had like 12 bucks invested in it, I would just file the return.
