Is the Ricoh RL5c478 revision 80 supported under Linux, or is there a driver that I can use? Thanks. -- Deven