looking to upgrade my sons radio because he keeps breaking the antenna on his, will this work? I don't know much about R/C's yet and I want to be sure before I order it, will I also need a short antenna for the receiver?

Here is the one I found on ebay, thanks for your help.

Traxxas TQi Link 2.4Ghz 2 Channel High Output Radio (# 6509)
Traxxas TQi Link 2.4Ghz 5 Channel Receiver (# 6518)