No a protest doesn't have to be filed if an official was there. Since the race was taking themselves very seriously I would think there was an official in the lead car. Was there a lead car? I couldn't see it from my spot. It would be ironic if a Transports filed a protest since they didn't speak to me for years since they think I filed one like 5 years ago (by the way I didn't).