KSA_USA, no he did not. The Starpoints that he earns from his American Express card are independent from the Starpoints that he will receive for the night(s) stayed.
Try to think of it this way- if he had paid for his vacation with, say, a Visa card, would he not receive Starpoints at all? Of course he would (just not from American Express). He just would not get a Starpoint per dollar spent for (not) using his American Express card. Again, the 2,400 Starpoints already earned came from American Express, not from Starwood Properties. American Express will transfer those points over to his Starwood account three to five days after his billing cycle ends.
Can someone please back me up on this?