The .fun TLD has been a bit broken for a month now. 👍
https://dnsviz.net/d/fun/ZzsFkg/dnssec/
They use a secondary DNS service -- but don't list it in the root zone, so it doesn't really make the TLD more reliable -- and it stopped updating the zone around 2024-10-18 for some reason.
And the three companies involved have yet to fix it for some reason.
So under certain circumstances a small percentage of DNS queries for .fun domains just randomly fail. 🤷