Several years ago I remember one of my sons coming home singing a song starting

Holly the hedgehog, Holly the hedgehog,
Nobody wants to dance with her.
She has prickles and they tickle......'

and we can't remember any more, but the story is about her teaming up with a tortoise or turtle because he couldn't feel the prickles!!! Anyone have the rest?