Robert Heinlein tickles the humming hot tub.