Hey there, I am closing in on buying a new mixer for our soon-to-be opened restauarant. We have been quoted on mixers and a Hobart is twice as much as a Globe. What do you all think about these two different mixer brands? Thanks in advance. I don't know the exact model offhand but can get that info.