Who sung the Happy Days main theme song?

Hi did you know that they still have a website... http://fonzie.freeweb.org
according to them the original recording was done by Pratt & McClain with Brother Love ... check out there mp3 files