10,000 workers x $4K per month avg (after factoring in CPF, transport allowance, expat staff) = $40 million a month in payroll.
$5B x 6.5% int = $320M a year just in int payment = $30M a year (no principle payment)
Utilities, aircon, maintenance, shows etc etc easily $10M a month
So easy $80M...