I think the shaving might have been about 3 mm, bringing the CR to 11.5 or more.