It's 32mm, which I didn't list in my tool list, but it was mentioned in the first sentence.
http://www.focusfanatics.com/forum/showthread.php?t=266098
BTW, has a How-To been done on that one? I think most people simply take it somewhere to have it pressed out and in.