will be there nov. 3-10th and will hop on the bus on wed. nov. 7th (opting outta the fri. night crawl....or i'll probably miss my flight in the morning). How much is a decent/average amount to tip the bus driver? Not too low and not too much.