Three dots is 3.5mm. The vivace can accommodate the 4.2 stroke.

sent from my oobnoxiosly large galaxy note phone thing via tapatalk.