Need help with identifying this lizard.?

My son found a lizard, about 15 cm total length, dark blue / black head (very pointy), red on the side of his throat, red on the side of his belly with the rest of his belly a yellowish / orange colour, His back is a dark brown / black colour, very scaly tale, when you rub it, it lifts up it's little body and looks like a Miniature crocodile or alligator. Very tame.