Nah, no checked baggage - at least for charter flights that businesses bring in for their employees. I'm assuming if you went off on a regular flight it might be different, but not sure.

Keep in mind its total chaos at the airport, flights coming and going. Only a single runway, the airport can only handle so many flights at once, and they try to get many off asap.

If the past is any indication, she'll be at the airport for 4-6 hours just trying to leave.

Fun stuff!
_________________________
"One should not increase, beyond what is necessary, the number of entities required to explain anything"
William of Ockham (1285-1349)