I have a 17 here from an HX40. It's a T4 and gated though. If you want the part # off of it I'll dig it up. I know it's not what you asked for.
I just sold a new one this week, and it had to be sourced from a different Holset supplier than I normally use. I understand they are backed up on new production until April.
I don't think you'll get a Holset "cheap", but I here rumor there are some cheap "almost Holsets" on Ebay.
HTT sells a super 40, it has a 14cm housing I believe.