My flight arrives at BKK and by the time I get through customs, it'll be about 11pm. Are there likely to be anywhere open to change money into Baht at the airport to pay for a taxi? Cheers.