Mmm … I think so because normally betting.xxx and tipping.xxx could be very tasty domains … no matter what the extention.
But it is very strictly enforced. Recently the Newcastle Jets A-League side had to “cover” their team sponsor name on their shirts when playing a football game in Wellington – because their sponsor was Australian bookmaker Centrebet. No leeway was given.
Goverments and their taxable betting monopolies eh?