Battery compartment connections

Thanks All. I am concluding that the red positive battery cable is not connected to the frame (of course) and instead an insulated junction post as ndorder and others are pointing out.

Thanks as well for the tips to validate this conclusion.

Here is a closer up image in case it helps others down the road.