what were all of the top speed records for the various vehicles?
4,510, 2,194, 541, 528.33, 249.1, 190.6, 19.8
what was the highest of the top speeds?
4,510