model number / valve adjust

Simple question for you who know what you are doing - 17HP Briggs Model 311777. Looking at valve adjusting specs, think they call for .003/.005 intake and .005/.007 exhaust. Correct?

model number / valve adjust