I think you will find that with any of the rarer wheel you will have to wait around 6 months.
Think I waited 5 months for mine.They only start a fresh batch once they have so many orders.
I had one for a couple of years in the 90's and loved it.Tell him to try and get one of the later ones with the smaller turbo for less lag.
They are also really easy to modify for very little money.