I thought there is a rubber lip seal available from the parts stores for the 235.
There is, but it's a two piece seal and still prone to leaking to some extent. I've had my troubles with them in a 55 model full pressure 235.
The machine work and single piece seal looks like a perfect solution to me.
Grigg