Mr. Clown,
Do you know how long after takeoff the smoke was reported to the cockpit crew? 1min, 2mins, 20 mins? There is mention of the smoke being reported after TOC which would probably put the aircraft nearer to STN than NCL at the time.
Great judge you are.