I picked up a brand new old stock 9k girdle on PSH for $70 shipped a few weeks back (they still have XL in stock), it replaced my old 9K that was falling apart. I love the mobility and protection the 9K provides.
Also, you can wear any shell on any girdle, you don't need to wear the PP90's on 9K's, anything fits as long as it has a belt 😉