'Who’s the IRS?' Spanish former day trader about to find out