We are now at about $5.3M (the existing $1.6M per Miguel and the $3.6M of savings from the restructure).
Before you spend the cap money, some will be needed for other items. Besides, the team has liked to carry some monies forward into next year. Between now a the end of the 2018 season, some of the money will be used for Roster Bonuses (about $2.5M), replacing anyone else who goes on IR, and any additional monies needed toward the Mitchell and Britt injury grievances (and any others). Plus the amounts left gives Belichick the flexibility he needs with regard to his constant transactions. The amount that we now have gives Belichick some breathing room, perhaps enough for minor trades or signings, but that's it.