Testing is expensive. Since they won't fix the bug after is being reported, just let the user test it and wait for the (testing) budget to be released.
Testing is expensive. Since they won't fix the bug after is being reported, just let the user test it and wait for the (testing) budget to be released.