Look, it’s pretty clear if you want the “best of the best of the best, sir!” next to each other than you want to be at MIT, Caltech, CMU, Stanford, HMC …
Michigan is a fantastic school, but it is on the large side (like Purdue) and in CS it may not be worth paying OOS premium over Purdue.
But good luck … if you end up going to Big Red - have fun - I loved every minute of it (as masochistic as it may sound)!!!