Before revision:  We also find that a mixed logit model, as well as some familiar models of choice set formation, are rejected in our data .
After revision:  We also provide simulation evidence on the computational tractability of our method in applications with larger feasible sets or higher-dimensional unobserved heterogeneity .