I received my K100DS in the mail a few days ago. The R72 came yesterday. Not sure when I'll have time to attempt it. As far as I figure the steps I'll need to take are as follows:
1. Get the camera open and the sensor/filter out. To help this, I just stumbled on this link in another thread:
Downloads
2. Remove the R72 filter from the filter ring and cut it to size. This is the part that makes me the most nervous. If I botch the cutting, then I'll have to wait for another one and it'll be about $50 down the drain. I bought the biggest one I could afford, a 62mm, so I'm thinking if I'm careful, I could probably cut up to 3 filters from it. (Though to be honest, this is the only conversion I'm forseeing.)
3. Install the new filter, put it back together.
4. Adjust the AF in debug mode. As far as I can tell from the research, you cannot access the debug menu using the camera buttons like you can on the K100D. However, there are reports that the debug menu can be accessed through the 'debug' program that works on the K10D 1.3 firmware. Problem with that is that I won't be able to get out of the debug mode again. The solution to this problem is aparently the ability to get out of debug mode by using the buttons on the camera in the same fashion as getting into the debug menu on the K100D.
I'll let you know how it goes. I might have time later today to get the project started.