It has not been possible to reproduce the error. I discussed on Discord with the customer and provided code that works. They have confirmed that the code works on their end as well. If they see the error again, they will reach out, but right now they cannot reproduce, so closing this ticket.