You can use MMO or ATF. I think I'm the one who posted the instructions, but God knows where, and I don't feel like repeating myself.
Tokico Blues are good and stiff (especially if you get the Tokico springs), but it's not like they grow on trees anymore. Stock stuff is okay. You can probably get away with cutting a coil, but don't lower it more than an inch that way. You might want to look at raising the top of the strut tower. Mazdatrix used to sell a kit to do it, but I'm pretty sure you could do it with a pair of spare strut towers, a sawzall, and a welder.
Your other option is to find some coil-over sleeves and put them on the stock struts. That will allow you to run cheapo circle track 2.5" ID springs. Run 400lb/in up front and 250lb/in in the rear, roll the fenders, and run 10" wide tires (okay, you won't find 10" wide 13s except in slicks).