The first lady’s spokeswoman didn’t immediately respond to a request for comment, nor did the White House. But CNN reported soon after the plane-spotting that the first lady had taken a government plane to Florida, and had landed in West Palm Beach at 6:45pm eastern time.

The first lady appears to have flown from Joint Base Andrews outside of DC in Maryland to Palm Beach aboard a US Air Force C-32A, a modified Boeing 757, which costs $14,087 per hour to operate, according to figures supplied earlier to Quartz by the Department of Defense. The flight from DC to Palm Beach takes about 2.5 hours, for a total flight cost of $35,217.50.

By comparison, a smaller Air Force C-37A, which is a modified Gulfstream V, costs just $8,227 per hour, and so would have cost approximately $20,000 for the total 2.5-hour flight. Previous presidents have used C-37As for personal travel. First ladies normally use military aircraft for security reasons, but there have been exceptions, like Barbara Bush’s 1991 commercial flight to reassure nervous Americans concerned about terrorism. A last-minute ticket on a commercial airline between Washington DC and West Palm Beach, purchased today, would have cost roughly $750.

📬 Sign up for the Daily Brief

Our free, fast, and fun briefing on the global economy, delivered every weekday morning.