Apparently they are permitted to do whatever they like to the cars during red flag/back to the grid situation, including tyre changes...tis in the rules.