First I would take a taxi to the Hard Rock, the closest major casino to the airport. I’m not sure how much odds the Hard Rock allows in craps but I would guess 3-4-5. If that is the case then bet 1/7 of your bankroll on the don’t pass bet, or $275 to round down. If a point is established then lay the maximum on the odds, or $1650. If you win you’ll be a lot closer to your goal, the amount will depend on the point. Win or lose bet the lesser of 1/7 of your bankroll and 1/7 of how far you are from $4000. If you get close to either extreme just get it over with and bet everything if you’re low, or whatever you need to close the gap on $4000 if you’re high, and forget about the odds. Four hours should be enough time. However don’t dilly dally. The lines at security can get pretty bad. If your outbound flight is in terminal C be sure to ask an agent about the secret entrance.