Normal
Everything I have read and from personal experience the $25 is to cover the tip to the staff. If you order drinks or wine, then you are charged the 15% on that.