Does anybody know the actual width of the current Dillinger 4 (26×4.2) on 80mm rims?

I got a new project: nos Salsa Beargrease 2 (aluminum) and I’m debating if I should go Dillinger 4, Dillinger 5 or Al Mightys for studded tires. The Mightys may net fit.