Archivo rar.vir

Hola gente. Sabe alguein qué tipo de archivo es un .rar.vir? Con qué se abre? Me estoy bajando del burrito un manual de reparación de mi coche y viene en este formato. Gracias.