Just realized that I associate "fun" with "distraction" and "entertainment" but have no idea if that's correct and now need to dig out a dictionary.

Thanks🤦🏻‍♂️