Hello @b1gcat!
Thank you for bringing this out. It looks like the most recent version of PIN tool wasn’t uploaded as planned, and this tutorial needs a bit of revamp in terms of directing the user to the Download Center. We are on it and should provide you with the PIN source for 9.0 shortly.
I’ll keep you posted.