Ein Bug ist seit 2 Wochen in der Produktion, tritt nur bei 3% der Nutzer auf und nur im WLAN. Der Entwickler kann ihn nicht reproduzieren und sagt, er werde den Bug in 10 Minuten schließen. Was wären deine Maßnahmen?