This is an example of tipping a resort not shore diving.
Shore diving is rolling up in your truck, grabbing tanks, loading them and driving off. No help, usually from staff.
I pay $180 for a week of air (nitrox). If they help me load my tanks I am inclined to tip $20 for the week. Otherwise, nothing.
If i was staying at a resort, ie like Buddy, i would tip for services you mentioned (boat, dock, setting up gear... cleaning pool, ground keeping...)
Question was SHORE diving tipping.
Again was services provided above filling tank? Yes or no.
if yes than tip apprptiate to service.
I would not tip $100 for $180 of product.