[2022] Tornado GR.1 rip speed should be 840 kts

The developers have provided the following response:

They have therefor decided to remain using the figures provided in the manual as this would superspeed any marketing material by Panavia: