Adrian, I still have that eyepiece, and it has a 9mm 120* brother now too
FWIW, your Dob is pretty exceptional.
The ES82 30mm is a cracking eyepiece at what used to be a sensible price, but mine got obsoleted by the 25mm...in the great fire sale of 2017