What if they file on April 15th? Do the refunds also come 3 months later? Would be bad PR given the circumstances if nothing else.