and the other unanswered question was... is any of the profit the Taj is making on these chips going to the building fund??