Please Suggest PHP based HTML Editor

Hi,
Before someone give me a bunch of search result, I did that already...

I want to include a simple html editor box for users to enter data and it to be saved to the database.

If one could easily modify the control it would be nice, as I dont want inline styles. Just html elements like <p>,<a>,<br /> etc (as inline styles would override the css stylesheets, and following the "user's are loosers" rule that gonna end up in the crapper.)

Anyone can suggest one you are using, not too hard to implement, ok to have various instances of it on your page (php)?

btw. I wanted to download a few of those available (such as TinyMCE and SPAW Editor) but the downloads are hosted on sourceforge, and for some reason..cant access it here in China now (dont ask..just how it is here sometimes)
If anyone can help me get it i'll really appreciate it. maybe give you ftp account to folder on our server?