Yes, but it was meant as a play on the Beach Boys’ “Fun Fun Fun”.
Not in this case according to post #27... but I get the idea.