I am looking at a 54 6400 that has a 4 seed with a 3 speed aux transmission. Was this a factory option? With the aux transmission what would be the truck top speed?