Thanks to everyone who responded. We did file before February 12th (on the 9th). And it did surprise me that the stimulus check was a credit. The letter is coming April 5th, according to the IRS website.
