Looking for some help finding a shuffler for my card game. Daily heavy usage. I’ve looked at shuffle tech as a minimum but I’ve seen casino grade hitting the used market. The last time I looked at getting one it was $15k+. Last I read was that the machines were not reliable and would break down, hence casinos having extras as back up. If I were to spend the money, is there a reliable option that’s better than shuffle tech? Recommendations please!