It may not be done, but the IRS still expects them to do it. Anyone who gets more than $20 in tips in a single month is expect to claim their tips on their taxes.
Oh I know I'm just saying since Disney views this as a no tipped position it would totally be up to the honesty of the housekeeper. Which is why I said I doubt it gets done.