They were never officially imported by Volkswagen. All of them that are in the states were brought in by private owners and a few limited private businesses that imported them for sales.
they are quite rare.
My father was into VW’s and v8 cars as well and would take me to shows and drags when I was young. I saw the notchback and fell in love. I told myself one day I’d own one and at 17 y/o I bought this one. All stock, blue, a nice Earl schieb paint job over tons of rust and bondo.
I spent the next year replacing rust and crashed panels and building a hot engine with a close ratio trans.
I’m 46 now and still own it.