So, the pilots never reported what happened, but it gets posted on You-tube (possibly by maintenance guys rather than the pilot. Not sure if the Tucano pilot saw anything, but the Tornado banked right to take evasive action - he and the nav must have seen the Tucano.