Bom, são várias opções.. Como o Adriano disse, usar um 7812 é uma solução extremamente simples e barata, visto que a corrente do fan é pequena (150mA).. se quiser eu tenho sobrando em casa.
Outra seria usar um fan 40mm 5V, vc acha fácil na Equitronic e liga direto na RAMPs.
Por fim vc pode medir com um multimetro a corrente do fan (q, como disse, gira em torno de 150mA) e colocar um resistor em série para efetuar essa queda. Para essa corrente, basta usar um resistor comercial próximo de 80 Ohms. Mas com certeza usar um 7812 é mais elegante.
Essas são as opções q vejo num primeiro momento.
Abraços.