It most definitely is an 8. I measured it at 7.84mm ID.
Update in case anyone stumbles on this, Festool was kind enough to mail a new collet out rather than having me ship the tool back. The new collet works as expected. The ID of the new collet is roughly 0.1mm larger that the collet I was having issues with. Never encountered an out of spec collet before, but I guess it can happen.
Update in case anyone stumbles on this, Festool was kind enough to mail a new collet out rather than having me ship the tool back. The new collet works as expected. The ID of the new collet is roughly 0.1mm larger that the collet I was having issues with. Never encountered an out of spec collet before, but I guess it can happen.