Hi Hicountry they use 40MhzFm pico receiver there are also informations to tune the receivers for more channels and smaller size on
www.mikroantriebe.de is the jstmini wich is 25.5-15.5-10.5mm size it can be reduced to 20-15-9mm
onother one ist the graupner XP8 wich is a little bit bigger