Gardner will be in the first XI by February - but his first name will be Craig.
Letting Petrov go in January would be a mistake. He's had a good season and is an experienced head.