Thanks a lot for quick reply.
The module which needs to be replaced, according to the service bulletin, has part number GJR9-66-DH0Z. I wonder if the old (defective) module had the same part number or not? I would like to try to find a used module, but I want to make sure that I buy the correct...