I used to make pizza sauce at a pizza shop sometimes and they had huge Hobart mixers for that and making pizza dough (in the late 80's).
I liked the linked video on how he restored the cheese cutter. What I am wondering is how much that would have cost the owner to do and will it end up being used or just an ornament.