Personally, I would just go down to the local big box and get a 1/3hp Badger or whatever the house brand is. Maybe 1/2hp, but 1/3 has always worked for us. Don’t spend a ton on a “quiet” model. It’s only on for 10 secs at a time once or twice a day, anyway.