We have never been to HDDR on dining credits before (I know, not the best use, not looking for the cheaper option in this case). Tip is typically not included with the dining plan, but what about using credits to pay for HDDR since the oop cost for that includes tip in the prepaid amount? Would we need to tip separately or would it be covered by the plan in this instance?