It may be an editing mistake true...it could also be that a few of the cymbal crashes are triggered via Dave's keyboards....there may be too many on certain songs for Tico to manually do....not a stupid idea, after all - they use overdubs of many guitar riffs as Richie can play but one guitar, and lots of the songs have many guitar parts.