Should Batavia Downs become a full-service casino?