General: How Many Pips Are There In The Bbc's Radio Time Signal