I use a 4000/8000 aluminum oxide stone lubricated with oil to sharpen and repair knives, but I can not use this stone to maintain a sharp edge on any straight razor because it is much too rough on them. So, I was wondering about purchasing the following:

JAPANESE WATER STONES SET OF 3 - eBay (item 170365829099 end time Aug-05-09 12:05:10 PDT)

However, I can not find any research on that brand and do not see myself needing to use an 800 on a straight razor except something that has a canyon in it. I was wondering if anyone had used these stones before and any reccomendations for an alternative (under $100 please).