-1 for Gotham Rounded, WYSE or Cherry Legends on this set.
Note, you might want to make it clear that you’re -1 on Gotham Rounded, -1 on Cherry, and -1 on WYSE. Your comment could easily be interpreted as "use WYSE or Cherry instead".
Anyhow, I agree. However, given that Matt seems to like Gotham Rounded, and this is his show, it is what it is. I don’t think it’s unreasonable to pick a geometric-ish sans like Gotham though (though I like Futura/Avenir better for this purpose I think).
But sure for a dye-sub there’s certainly room for typefaces with more delicate and distinctive features, which would make more of a statement. I don’t think Univers is the most interesting possible choice though, especially for letters centered on DSA keycaps.
Heck, if SP’s dye-subs can pull enough DPI, why not go for something like Optima (it may be overused in plenty of contexts, but I think Optima keycaps would be pretty sweet), etc.