Hi Phil,
I own 2 cases full of Pentax XW's, Nagler T4's, Nagler T5's, TV Radians, Panoptics, ETHOS and DELOS. In addition, I have used just about all the competition at one time or another.
The 12.5mm Doctor is the single best eyepiece I have used in terms of its overall optical quality and the overall viewing experience and comfort level. It's optical performance is a fraction better (it's close) than the 13mm ETHOS, with a slightly narrower FOV. However, it is much smaller and lighter with infinitely better eye relief and a higher comfort level. I have used the 12.5mm Doctor in several F4.5 to F5 medium to large aperture Newtonians and also in a 4" Astrophysics Traveller.
The Nikon NAV HW are the 2nd best eyepieces I have used and optically the equal of the Doctor. They have generous eye relief at about 16mm and some glasses users would be fine with them (I was but only just). They don't quite have the eye relief of the Doctor but are optically at least it's equal and the added bonus is that you get 2 focal lengths almost for the price of one Doctor
If price isn't a concern and you don't mind mixed brands in your bag, it would be hard not include these in your consideration.
I find the Pentax XW's and the DELOS to be excellent and about the equal of each other (depending on which criteria are most important to you), but a small tad behind these.
Having regard to the scopes you own, in the longer focal lengths the 30mm 88 degree Leitz, is probably the best you will get. You would have to buy this 2nd hand and there have been several variations of it over a number of years, each as good as the other optically. Cost 2nd hand is >$US1,000 and they are rarely offered for sale. They are snapped up quick when they are.
Cheers,
John B