The hotsy pump is proprietary. It is called a hawk pump. I would go for industry standard stuff, so that I could get parts to repair it anywhere.
As for needing a machine to play with the big boys, I have found very few distributors that have current knowledge on cleaning issues. Of course, this is just my opinion.
Scott