Identify a lizard species?

I saw a couple of them when I was in South Africa - one in the Kruger National Park, another in the Drakensberg mountains, both Eastern SA. It was about 9 inches long with the tail. Bright blue head like a blue headed agama but a very bright green body. The guide I was with said it was a Pedioplanis but google doesn't bring up many photos of them so I can't identify the species. I'm certain it was a lacertid, and presumably a rock dweller as on both occasions I saw one it was in a rocky area with few trees. Any ideas?