Question 484522
Should be a tenth of an inch; i.e. one digit to the right of decimal point,
9.5 (not 9.50)