If you have one of those cards above, you might as well use ATM since you can get the cash you need before leaving the airport.
I will note that I'm increasingly moving away from cash, as more Thai-run businesses (including relatively small non-chain) accept credit cards. It's pretty easy to get a no-foreign transaction fee card that also earns points. The rates from the card matches up well with the cash exchanges.