What to do about Vegas?