I looked those up. Around 30 bucks to the house. Can get a hand or electric evac pump for the same or less. And use it on many other vehicles not just one.
Also it will take for ever to drain due to the large restriction inside the valve. Hope she never opens up on you. I couldn't sleep with one of those. Especially on a multi-thousand dollar "lawn mower".