Did anyone notice...?

[panik]

I watched Micro Men again (cause I liked it so much the first time) and realised, as the cast rolled, we had The Fifth Doctor, the second Arthur Dent and - Vila Restal? I admit, I didn't notice Michael Keating while I was watching the show, but there he is, in the cast - assuming it's the same one...? Anyone know? It's not in his imdb list.

Maybe I just need to watch it again. The fight in the pub was priceless.