Dave wrote:
"He should have measured the diameter instead, which is easier than
measuring the radius (and should have given him the correct answer)."

Dave is correct. The circumference is pi times the diameter. The radius
is only 1/2 the diameter. I miswrote.

Best regards, Richard Harrison, KB5WZI