Between Champion DH5000T VHR and Hobart AM15 VLT (both ventless) which of the two is better. Costwise Hobart is more expensive by about $ 3,500.00. Should I shell out the extra money to buy Hobart machine? However, it seems to me that the Champion dishmachine has more features than Hobart though. What do you guys think?