Oops, missed a decimal point... haha...
Bentley says first oversize is .25mm, second is .50 mm. The issue just seems to be availability. Please note, .25, not 2.5. I'd rather not support P R O T H E, but I appreciate the feedback. Does anyone know what brand they are? ARCO, perhaps?