Can someone measure the dimensions of the little latch that keeps the center seat down in a Ranger z520.

I really just need the diameter of the circle.

I’m about to 3D print one and I am not at home to get the measurements.