[Igorsrt]

а я вот так попробовал:

$("input[name=phone]").mask('+7 (#99) 999-99-99',{
	translation:{
		'#':{
			pattern:/(9)/
		}
	}
});

не знаю, лучше так или хуже - но, на первый взгляд, нормально получается...