Exactly as Joe said. You have to loose a hose to drain, no petcock.
When you add coolant. Be sure to raise the front end. The higher the better. Then on, my axis 500 and others, there's a bleed screw/bolt on the gooseneck on the head. Where the coolant hose connects to the head. Be sure to bleed/burp all the air out.
I recommend bleeding there multiple times. Over a course of multiple heating up cycles.
If your son did get it hot. Once you have all the air out. Check and make sure there is no coolant in the oil. Make sure there is no bubbles rising in the overflow coolant catch jug with radiator cap on once the engine is up to operating temp.
On my axis 500, the temp sensor is on the gooseneck at the head. That sensor turns on the temp idiot light on dash.
There is also a temp sensor on the radiator. That one tells the electric fan to kick on and off.
Best of luck and welcome to the forum from KY.