Would anyone know what size o-rings are used for a 3.9 disco, got quoted $5 each for the RTC 5679, I'm guessing that they are a standard size Bosch