FTC controlled with VEX???

[HP42S]

Came across this searching for some FTC videos. Looks interesting and from the video it works too although the game manual doesn't say a VEX controller can be used so probably only that country doing it.
https://www.youtube.com/watch?v=8zdSHlCIE9M

[BronzeStallion]

In Game manual part 1 I found this:

<RE06> Android Devices - The following Android devices are allowed:
 ZTE Speed
 Motorola Moto G 2nd Generation
 Motorola Moto G 3rd Generation
 Google Nexus 5
 Samsung Galaxy S5
No other devices may be used as Robot Controllers or in Driver Stations in FIRST Tech Challenge
competitions.
a. Exactly one (1) Android device must be used as the Robot Controller and the USB interface may only
connect to the Core Power Distribution Module.
b. Exactly one (1) Android device must be used as a component of the Driver Station.
c. The Robot Controller Android device must be powered by its own internal battery; external power is not
allowed.
d. The Driver Station Android device must be powered by its own internal battery; external power is
allowed from a COTS USB external battery pack that is connected to the allowed USB hub.