I don't tip when receiving my diamond breakfast. No discussion about that. An amenity (bonus) for the customer should not come with the obligation to provide tips for the staff.

If I visit the hotel restaurant for regular consumption and I have to pay, of course I will leave 10% as a tip. Everything beyond that is excessive.