Normal
I think the $6.50 comes from an old brochure. When auto-tipping first began, it just covered the dining staff at $6.50/day. In 2002, they added the room stewards as well and increased the amount to $10/day.