Remaining tokens = 10,000 – 4,000 – 2,500 = <<10000-4000-2500=3500>>3,500.