What's that other tune that's usually played with the Trumpet Hornpipe- the one Weatherspoon used to play on his organ in "Tales from Rubovia"? And what's the Rubovia theme tune (.wav file so slow if you're on dialup)?