In the big chipco lot there are orders made up until quite recently whih occasionally are on the very rough finish.
So my guess is (probably at a price) they would have continued making them with that finish if requested.