Finally wrapping up my basement shop and can't decide on flooring. Dry basement, poured concrete, newer home, never had water in basement. Want something soft on the feet, resistant enough to withstand rolling machinery, dropped tools, glue drips, etc. Debating between just staining the concrete and putting rubber mats down vs a glue down vinyl. The room is otherwise finished (drop ceiling, pine shiplap walls, basically a finished room except the floor). Are there any glue down vinyls out there that have a thick wear layer and can withstand the abuse? Are there any other flooring materials to consider? Thanks!