This is not important, but I'm curious. I have a dim recollection that some years ago there was a parody of Waltzing with Bears going around, and if I recall correctly, it was called Waltzing with Whales. Does anyone remember this? I suppose that it's possible that it was strictly local (Washington DC, USA area.)
Don