What is suggested tipping for diving while on A.C.,? Also for the restaurants there, is it pretty much the same as the U.S.?