The current Florida resident discounts only go through October 1, 2003. Assuming they come out for November, remember that your cousin will have to make the reservation and show Florida ID (drivers license) at check-in.
Though there is no guarantee, I would expect codes for November will come out sometime in the next 30 days (that's just a guess based on current trends). I would suggest checking mousesavers.com, the official Disney World website (clik on Florida Residents) and these boards.