Liquidengineer

Does anyone know the size and thread pattern for the nut which holds the pulley on the powersteering pump? The car is an 86 Rx7 GXL. The previous owner removed the unit due to a leak, and I am trying to reinstall so that I may find/repair said leak. Did a little research on this site, but only found someone who had said that theres matched a lug nut. I was hoping not to dismantle the car one nut at a time to find another that matched.

Thanks.