El color de la máscara de soldadura es puramente una función de la preferencia del diseñador, y si la persona que paga por los tableros está dispuesta a pagar la factura de los colores de la máscara de soldadura personalizada. No tiene relación con si la placa cumple con ROHS o cualquier otra cosa.
El verde es el más común solo porque es un estándar de facto. Puede obtener tableros verdes ROHS y no ROHS, como puede hacerlo con cualquier otro color.
Vale la pena señalar que es completamente posible que ese ensamblador solo tuviera un estándar interno en el que ordenaran tableros que debían cumplir con ROHS con una máscara de soldadura azul, y tableros que no necesitaban ser ROHS con verde (o cualquier otro color) máscara para soldar. Sin embargo, esa sería una función de ese ensamblador en particular, no una cosa de toda la industria.