The 9040 is now listed on Costco’s website and I believe is available to order. It seems like they would offer the same models but the only way to know is to talk to Costco. As we know from how KS10 availability played out, things are subject to change on a moments notice.
