Something else to think on is the Pentax XL range.
These are very nice eyepieces and about 50% of the cost of a new XW.
Shop around there are a few local people who mite sell you one Tak66
is one person to contact. I got a 7 mm XL of him and very happy with price and the EP is like brand new.
XL are not 50% of the XW more like just as good or just a tad off.
Most noticeable is a little less field, but much easier on the skyrocket.