The name "Frogstar" is a pun on the "Dog star", a common name for Sirius.
... the Metropolitan Line, and stretch the definition of "tube station" a little: Waddesdon tube station[?] Quainton Road tube station[?] Granborough Road tube ...