The three men didn't each pay $9, they collectively paid $25 ($30 minus the $5 the bellhop brings back), or $8.33 each. Splitting the $2 tip between the 3 of them accounts for $0.67. This adds up to $9, and they have $1 remaining of the $10 each they originally contributed.