Intrinsic Mission timer is way off. 13 minutes is way too short to complete. Even the Portal activity timer is 3 minutes more. Surely a bug. One playthrough of this mission should have been enough to detect this bug......