It ships with 1.8 (1.8.3 off the top of my head), HOWEVER they should be using 1.9 as the kendo team doesn't support kenodo under 1.9...and Sitefinity heavily uses kendo :p
You should use it through the resourcelinks to be safe, not include your own in the header...1.7 is certainly pretty dated