The first time I saw Fraggle Rock was on HBO. Yes I said it HBO. And the US version that Is Gary Parks is the one who played Doc on these Episodes. I'm just saying since some one said that when Nick and Disney showed them thats only when Gary Parks was shown. So just to make a note that Gary Parks was shown on those HBO episodes.