Hola, pueden ser mediante un transformador 4/3 es decir 4 vueltas del primario por 3 del segundario o podrias hacer un pequeño circuito muy basico con un triac (BTB16 por ejemplo) y un potenciometro para regular el voltage de la base del triac y lograr los 9vac. Trata de conseguir un triac pequeño, de no mas de 5A. El circuito es basico y te recomiendo reemplazar la resistencia R por el potenciometro y regulalo hasta llegar a los 9VAC. Estimo que un potenciometro lineal de 1 o 2 Kohm deberia bastar...