I've never heard of a rock boa either.
Maybe it's just a ground boa, or an african rock python. Either way the person should probably properly ID the animal as there is a huge difference between the two..lol