When I was lucky enough to entertain some of the Padstow Carol Singers in Sheffield in 2000 I seem to remember that it was called Padstein even then.

Dave Eyre