Fabian,
Have them check the coolant level in the Paxton cooler resivior and top it off wth a 90/10 mix of water and coolant. Check the belt condition and all the hose clamps, and pssibly clean the air filter. Beyond that they should do nothing. As for the updates they wil not change anything with your Paxton setup as it is run only really off the Split second box.
Mark Jorgensen
Woodhouse Viper