25% это 0,25. Соответственно для больше понятности можно решить в два действия: 1) 5*0,25=1,25(это кол-во секунд соответствующее 25% от общего времени ремонта 2) 5-1,25 = 3,75(это конечное время ремонта с учётом рем. ящика)
После обновления 0.8.6 они действительно были в списке запрещённых модов, но через пару недель (не знаю по какой причине) они убрали их из этого списка.