By rule, it should be 4 minutes.
5-7-3
The length of each extra period shall be four minutes. For games played with six-minute quarters, the length of each extra period shall be three minutes.
Since the rule does not address 7 minute quarters, 4 minutes should be correct.