looks like nobody knows... i suggest simply visit your local restaurant supply. they tend to have stuff like that. however, be careful of a used one, they tend to be more trouble than they are worth. personally, i would slice 'em by hand. i guess if you are using a ton of onions, then it would be worth it to get a new one.