It's not linked in the build doc because they're no longer made/stocked.
Jamco and I think amplified parts have some listed but they seem to be the same lots as some fake ones on eBay.
Not impossible to find, but also easy to get a fake. Just get a OP07 unless you need it to be super authentic...