I really have to say, though, that the way it's written, it doesn't seem like an intentional reference. Of course, that may not be the double pun the OP was talking about, but I didn't notice any other wordplay in there.